Jorgiano Vidal

According to our database1, Jorgiano Vidal authored at least 11 papers between 2001 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
LLVM-ACT: Profiling Based Tool for Approximate Computing Technique Selection.
Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

2011
Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Self-reconfigurable Embedded Systems: From Modeling to Implementation.
Proceedings of the 2010 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2010

UML design for dynamically reconfigurable multiprocessor embedded systems.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
Networked Self-adaptive Systems: An Opportunity for Configuring in the Large.
Proceedings of the 2009 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2009

A co-design approach for embedded system modeling and code generation with UML and MARTE.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework.
J. Braz. Comput. Soc., 2008

2005
Distributing the Workload in a Lazy Theorem-Prover.
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2002
FERUS: Um Ambiente de Desenvolvimento de Especificações CASL.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Improving Static Ordering of BDDs for Reachability Analysis.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

2001
Optimizing BDD-Based Verification Analysing Variable Dependencies.
Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001


  Loading...