Sciweavers

15416 search results - page 76 / 3084
» Embeddings of Computable Structures
Sort
View
81
Voted
DSN
2002
IEEE
15 years 5 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
EDCC
2010
Springer
15 years 5 months ago
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach
Alfons Crespo, Ismael Ripoll, Miguel Masmano