Sciweavers

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