11200 search results - page 205 / 2240 » An Object-oriented Optimization System |
136
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
114
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
VOD services require the storage system support with multiple disks. SCSI-based systems are usual choices. However, disks can be attached directly to networks these days. Fiber Ch...
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
131
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
124
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...