7429 search results - page 350 / 1486 » Embedded System Update |
177
click to vote
RTAS
2006
IEEE
16 years 21 days ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
191
click to vote
ICPADS
2005
IEEE
16 years 9 days ago
2005
IEEE
Intelligent video surveillance (IVS) offers a large spectrum of different applications that have strict requirements on quality of service (QoS) and energy-efficiency. Recent emb...
199
click to vote
IFM
2005
Springer
16 years 6 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
179
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
185
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...