1739 search results - page 192 / 348 » Battery Model for Embedded Systems |
138
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
129
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
136
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
160
click to vote
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
136
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...