5184 search results - page 648 / 1037 » Computer support for mechatronic control system design |
222
click to vote
ICFEM
2003
Springer
16 years 25 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
145
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
201
click to vote
USENIX
2004
15 years 9 months ago
2004
The X Window System is the de facto standard graphical environment for Linux and Unix hosts, and is usable on nearly any class of computer one could find today. Its success is par...
190
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
201
click to vote
HPDC
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...