Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Vidal, Jorgiano
23  Ergebnisse:
Personensuche X
?
1

LLVM-ACT: Profiling Based Tool for Approximate Computing Te..:

, In: 2022 XII Brazilian Symposium on Computing Systems Engineering (SBESC),
Miranda, Lavinia ; Pereira, Monica ; Vidal, Jorgiano - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
2

UML design for dynamically reconfigurable multiprocessor em..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Vidal, Jorgiano ; de Lamotte, Florent ; Gogniat, Guy.. - p. 1195-1200 , 2010
Link: https://dl.acm.org/doi/1..
 
?
3

A co-design approach for embedded system modeling and code ..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Vidal, Jorgiano ; de Lamotte, Florent ; Gogniat, Guy.. - p. 226-231 , 2009
Link: https://dl.acm.org/doi/1..
 
?
4

A prototype implementation of a distributed satisfiability ..:

Déharbe, David ; Ranise, Silvio ; Vidal, Jorgiano
Journal of the Brazilian Computer Society.  14 (2008)  1 - p. 71-86 , 2008
Link: https://doi.org/10.1590/..
 
?
5

A prototype implementation of a distributed Satisfiability ..:

Déharbe, David ; Ranise, Silvio ; Vidal, Jorgiano
Journal of the Brazilian Computer Society.  14 (2008)  1 - p. 71-86 , 2008
Link: https://doi.org/10.1007/..
 
?
6

Distributing the Workload in a Lazy Theorem-Prover:

Deharbe, David ; Ranise, Silvio ; Vidal, Jorgiano
Electronic Notes in Theoretical Computer Science.  184 (2007)  - p. 21-37 , 2007
Link: https://doi.org/10.1016/..
 
?
7

CSCW-TRABALHO COOPERATIVO SUPORTADO POR COMPUTADOR:

Botelho, Eulina X. ; Vidal, Jorgiano M. B.
HOLOS.  1 (2007)  - p. 130 , 2007
Link: https://doi.org/10.15628..
 
?
8

Optimizing BDD-Based Verification Analysing Variable Depend..:

, In: Proceedings of the 14th symposium on Integrated circuits and systems design,
Déharbe, David ; Vidal, Jorgiano Márcio Bruno - p. 64 ff. , 2001
Link: https://dl.acm.org/doi/1..
 
?
9

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://inria.hal.scienc..
 
?
10

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://hal.inria.fr/inr..
 
?
11

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://hal.inria.fr/inr..
 
?
12

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://hal.inria.fr/inr..
 
?
13

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://hal.inria.fr/inr..
 
?
14

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://hal.inria.fr/inr..
 
?
15

SoC/SoPC development using MDD and MARTE profile:

Aulagnier, Denis ; Koudri, Ali ; Lecomte, Stéphane...
inria-00468650.  , 2009
Link: https://inria.hal.scienc..
 
1-15