5239 search results - page 277 / 1048 » Model-Integrated Embedded Systems |
221
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
With current FPGAs, designers can now instantiate several embedded processors, memory units, and a wide variety of IP blocks to build a single-chip, high-performance multiprocesso...
177
click to vote
RTAS
2006
IEEE
16 years 20 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 7 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...
198
click to vote
IFM
2005
Springer
16 years 5 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...