Sciweavers

15416 search results - page 76 / 3084
» Embeddings of Computable Structures
Sort
View
88
Voted
GD
2007
Springer
15 years 9 months ago
Efficient C-Planarity Testing for Embedded Flat Clustered Graphs with Small Faces
Giuseppe Di Battista, Fabrizio Frati
DSN
2002
IEEE
15 years 8 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
EDCC
2010
Springer
15 years 8 months ago
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach
Alfons Crespo, Ismael Ripoll, Miguel Masmano