1670 search results - page 246 / 334 » On Skolemization in constructive theories |
169
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
188
click to vote
MSE
2005
IEEE
15 years 12 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
186
click to vote
TRIDENTCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
190
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
182
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...