3868 search results - page 344 / 774 » Open Systems in TLA |
184
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
217
click to vote
BIRTHDAY
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
171
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
159
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
213
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....