3819 search results - page 516 / 764 » Simple Easy Terms |
170
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
162
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
135
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
System performance in multi-agent resource allocation systems can often improve if individual agents reduce their activity. Agents in such systems need a way to modulate their ind...
160
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Digital halftoning, or dithering, is the technique commonly used to render a color or grayscale image on a printer, a computer monitor or other bi-level displays. A particular hal...
147
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
Hybrid peer-to-peer architectures use special nodes to provide directory services for regions of the network (“regional directory services”). Hybrid peer-to-peer architectures...