Jorgiano Vidal

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 1

Top Topics

Database Systems

Selection Criteria

Top Venues

Publications

Lavinia Miranda, Monica Pereira, Jorgiano Vidal
LLVM-ACT: Profiling Based Tool for Approximate Computing Technique Selection. SBESC (2022)
Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Jean-Philippe Diguet, Sébastien Guillet
Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation. DATE (2011)
Guy Gogniat, Jorgiano Vidal, Linfeng Ye, Jérémie Crenne, Sébastien Guillet, Florent de Lamotte, Jean-Philippe Diguet, Pierre Bomel
Self-reconfigurable Embedded Systems: From Modeling to Implementation. ERSA (2010)
Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Jean-Philippe Diguet, Philippe Soulard
UML design for dynamically reconfigurable multiprocessor embedded systems. DATE (2010)
Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Philippe Soulard, Jean-Philippe Diguet
A co-design approach for embedded system modeling and code generation with UML and MARTE. DATE (2009)
Jean-Philippe Diguet, Linfeng Ye, Yvan Eustache, Jérémie Crenne, Pierre Bomel, Guy Gogniat, Jorgiano Vidal, Florent de Lamotte
Networked Self-adaptive Systems: An Opportunity for Configuring in the Large. ERSA (2009)
David Déharbe, Silvio Ranise, Jorgiano Vidal
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework. J. Braz. Comput. Soc. 14 (1) (2008)
David Déharbe, Silvio Ranise, Jorgiano Vidal
Distributing the Workload in a Lazy Theorem-Prover. Electron. Notes Theor. Comput. Sci. 184 (2007)
Gleydson Lima, Anamaria Martins Moreira, David Déharbe, David Ricardo Do Vale Pereira, Demóstenes Sena, Jorgiano Vidal
FERUS: Um Ambiente de Desenvolvimento de Especificações CASL. SBES (2002)
Jorgiano Vidal, David Déharbe, Dominique Borrione
Improving Static Ordering of BDDs for Reachability Analysis. IWLS (2002)