7103 search results - page 1100 / 1421 » Program Generation and Components |
111
click to vote
ISM
2006
IEEE
15 years 10 months ago
2006
IEEE
Video sensor network is evolving from an isolated system to an integral component of the global information infrastructure. In this paper, we argue that when video sensor network ...
125
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
125
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Design variability due to die-to-die and within-die process variations has the potential to significantly reduce the maximum operating frequency and the effective yield of high-p...
131
click to vote
NOMS
2006
IEEE
15 years 10 months ago
2006
IEEE
— The importance of the routers in the network and the vulnerability in the nature of the link state routing protocol highlight the necessity of effective routing protection agai...
140
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...