2960 search results - page 217 / 592 » A vision for embedded software |
199
click to vote
RSP
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
151
click to vote
UIST
2004
ACM
15 years 12 months ago
2004
ACM
Projection technology typically places several constraints on the geometric relationship between the projector and the projection surface to obtain an undistorted, properly sized ...
162
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We investigate the applicability of multi-agent systems as a control approach for district heating systems. The consumers, i.e., the heat exchange systems, in current district hea...
157
click to vote
IOLTS
2003
IEEE
15 years 12 months ago
2003
IEEE
Fault tolerant design is a technique emerging in Integrated Circuits (IC’s) to deal with the increasing error susceptibility (Soft Errors, or Single Event Upsets, SEU) caused by...
165
click to vote
SUTC
2010
IEEE
15 years 10 months ago
2010
IEEE
—To maximize the communication throughput for wireless sensing systems, designers have attempted various combinations of protocol design and manual code optimization. Although th...