5344 search results - page 317 / 1069 » Privacy-Preserving Set Operations |
135
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
136
click to vote
MABS
2004
Springer
15 years 9 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
123
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
The full-custom CMOS realization of a new modular sorting architecture is presented. The high-performance architecture is based on rank ordering, and on efficient implementation o...
130
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
– The traditional way of approaching placement problems in computer-aided design (CAD) tools for analog layout is to explore an extremely large search space of feasible or unfeas...
135
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...