15840 search results - page 486 / 3168 » The Control of Synchronous Systems |
160
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Information Technology governance (ITG) which was a relatively new concept in the late 1990s, has gained importance in the 21st century due to factors namely the collapse of Enron...
208
click to vote
ICSE
2009
IEEE-ACM
15 years 4 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 ...
201
click to vote
DAC
2006
ACM
16 years 25 days 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 ...
153
click to vote
ICRA
2003
IEEE
16 years 5 days 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...
222
click to vote
CAINE
2003
15 years 8 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...