Sciweavers

15416 search results - page 393 / 3084
» Embeddings of Computable Structures
Sort
View
ETS
2007
IEEE
128views Hardware» more  ETS 2007»
15 years 9 months ago
Selecting Power-Optimal SBST Routines for On-Line Processor Testing
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
Andreas Merentitis, Nektarios Kranitis, Antonis M....
ASAP
2010
IEEE
148views Hardware» more  ASAP 2010»
15 years 9 months ago
Function flattening for lease-based, information-leak-free systems
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T...
SIMUTOOLS
2008
15 years 9 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone
DCG
2010
171views more  DCG 2010»
15 years 7 months ago
Bregman Voronoi Diagrams
The Voronoi diagram of a point set is a fundamental geometric structure that partitions the space into elementary regions of influence defining a discrete proximity graph and dual...
Jean-Daniel Boissonnat, Frank Nielsen, Richard Noc...
PAMI
2008
391views more  PAMI 2008»
15 years 7 months ago
Riemannian Manifold Learning
Recently, manifold learning has been widely exploited in pattern recognition, data analysis, and machine learning. This paper presents a novel framework, called Riemannian manifold...
Tong Lin, Hongbin Zha