1636 search results - page 193 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
165
click to vote
EMSOFT
2005
Springer
16 years 13 hour ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
146
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
160
click to vote
WICSA
2004
15 years 7 months ago
2004
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...
173
click to vote
ICPPW
2007
IEEE
16 years 24 days ago
2007
IEEE
Several challenges about computational grid exist in integrating, coordinating and managing of resources and scheduling of applications, due to distributed resources at various le...
192
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...