487 search results - page 83 / 98 » Implementation Correctness of a Real-Time Operating System |
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
LFP
1992
13 years 10 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
MMSEC
2006
ACM
14 years 2 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Leading-edge systems-on-chip (SoC) being designed today could reach 20 Million gates and 0.5 to 1 GHz operating frequency. In order to implement such systems, designers are increa...
ICNP
2006
IEEE
14 years 3 months ago
2006
IEEE
— Binding services are crucial building blocks in networks and networked applications. A binding service (e.g., the Domain Name System (DNS)) maps certain information, namely, bi...