6796 search results - page 417 / 1360 » Java for Embedded Systems |
159
click to vote
ICPADS
2005
IEEE
15 years 10 months 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...
159
Voted
IFM
2005
Springer
15 years 10 months 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...
134
click to vote
CASES
2001
ACM
15 years 8 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...
142
click to vote
DAC
1995
ACM
15 years 8 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...
119
click to vote
TIFS
2008
15 years 4 months ago
2008
Today, mass-scale electronic content distribution systems embed forensic tracking watermarks primarily at the distribution server. For limiting the bandwidth usage and server compl...