Sciweavers

14515 search results - page 91 / 2903
» Efficient Embedded Computing
Sort
View
GD
2007
Springer
15 years 8 months ago
Cyclic Level Planarity Testing and Embedding
Christian Bachmaier, Wolfgang Brunner, Christof K&...
DSN
2002
IEEE
15 years 7 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
EDCC
2010
Springer
15 years 6 months ago
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach
Alfons Crespo, Ismael Ripoll, Miguel Masmano