8658 search results - page 1489 / 1732 » Models of Command and Control |
144
Voted
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
In sub-90nm technologies, more frequent hard faults pose a serious burden on processor design and yield control. In addition to manufacturing-time chip repair schemes, microarchit...
147
click to vote
ROBOCOMM
2007
IEEE
15 years 11 months ago
2007
IEEE
— The integration of advanced computation, wireless communication, and control technologies has facilitated the creation of autonomous robot swarms for many civil and military ap...
163
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
142
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
178
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...