15416 search results - page 123 / 3084 » Embeddings of Computable Structures |
112
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
112
click to vote
EDCC
1994
Springer
15 years 8 months ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
117
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
125
Voted
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
135
click to vote
GD
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows that any planar graph with n vertices can be point-set embedded with at most one bend per edge on a universal set of n points in the plane. An implication of this ...