Sciweavers

14515 search results - page 91 / 2903

» Efficient Embedded Computing

85

GD
2007
Springer

94views Computer Graphics» more GD 2007»

Cyclic Level Planarity Testing and Embedding

15 years 10 months ago

Cyclic Level Planarity Testing and Embedding

Download www.infosun.fim.uni-passau.de

Christian Bachmaier, Wolfgang Brunner, Christof K&...

claim paper

Read More »

122

DSN
2002
IEEE

103views Computer Networks» more DSN 2002»

Formal Development of an Embedded Verifier for Java Card Byte Code

15 years 9 months ago

Formal Development of an Embedded Verifier for Java Card Byte Code

Download www.gemplus.com

Ludovic Casset, Lilian Burdy, Antoine Requet

claim paper

Read More »

124

EDCC
2010
Springer

271views Applied Computing» more EDCC 2010»

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach

15 years 9 months ago

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach

Download edcc.dependability.org

Alfons Crespo, Ismael Ripoll, Miguel Masmano

claim paper

Read More »

154

Voted

EDCC
2010
Springer

250views Applied Computing» more EDCC 2010»

Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC

15 years 9 months ago

Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC

Download edcc.dependability.org

Jon Perez, Mikel Azkarate-askasua, Antonio Perez

claim paper

Read More »

156

GD
2001
Springer

142views Computer Graphics» more GD 2001»

Bounded Degree Book Embeddings and Three-Dimensional Orthogonal Graph Drawing

15 years 9 months ago

Bounded Degree Book Embeddings and Three-Dimensional Orthogonal Graph Drawing

Download www.ms.unimelb.edu.au

David R. Wood

claim paper

Read More »

« Prev « First page 91 / 2903 Last » Next »