5506 search results - page 727 / 1102 » Minimal Logic Programs |
156
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— In this paper, we consider the task of repositioning a formation of robots to a new shape while minimizing either the maximum distance that any robot travels, or the to...
151
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
We observe increasing interest in aggregating geographically distributed, heterogeneous resources to perform large scale computations. MPI remains the most popular programming par...
196
click to vote
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve...
165
click to vote
SIGCSE
2004
ACM
16 years 4 days ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
165
click to vote
MPC
2004
Springer
16 years 2 days ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...