15840 search results - page 486 / 3168 » The Control of Synchronous Systems |
178
Voted
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...
220
Voted
ICSE
2009
IEEE-ACM
15 years 5 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 ...
220
Voted
DAC
2006
ACM
16 years 1 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 ...
172
click to vote
ICRA
2003
IEEE
16 years 21 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...
233
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...