2000 search results - page 317 / 400 » Program Transformation and Proof Transformation |
141
Voted
DMSN
2008
ACM
15 years 5 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
132
click to vote
ICMLA
2007
15 years 5 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
138
click to vote
SMA
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel technique for approximating the boundary of a swept volume. The generator given by an input triangle mesh is rendered under all rigid transformations of a discr...
129
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
152
Voted
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...