7195 search results - page 562 / 1439 » On Computing Power |
198
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The wide applications of cyber-physical systems (CPS) call for effective design strategies that optimize the performance of both computing units and physical plants. We study the ...
202
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
220
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—As process technology shrinks devices, circuits experience accelerated wearout. Monitoring wearout will be critical for improving the efficiency of error detection and correctio...
179
click to vote
DELTA
2002
IEEE
16 years 1 days ago
2002
IEEE
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
180
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...