5415 search results - page 901 / 1083 » The Implementation of Functional Programming Languages |
173
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
175
click to vote
CASES
2006
ACM
16 years 15 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
176
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
190
click to vote
VEE
2006
ACM
16 years 14 days ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speci...
184
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...