13717 search results - page 275 / 2744 » Control Systems |
147
click to vote
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
148
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...
148
Voted
RTS
2006
15 years 4 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
125
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
A new flexible parts feeding system has been designed and constructed at Case Western Reserve University. To complement the feeder, an object-oriented software architecture has be...
171
click to vote
CAINE
2003
15 years 5 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...