Sciweavers

15416 search results - page 76 / 3084
» Embeddings of Computable Structures
Sort
View
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