515 search results - page 57 / 103 » FiPRe: An Implementation Model to Enable Self-Reconfigurable... |
164
click to vote
USENIX
2000
15 years 7 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
204
click to vote
SWARM
2008
SPRINGER
15 years 6 months ago
2008
SPRINGER
We present a biologically inspired approach to the dynamic assignment and reassignment of a homogeneous swarm of robots to multiple locations, which is relevant to applications lik...
123
click to vote
IVC
2007
15 years 6 months ago
2007
This paper presents a solution to the cloud removal problem, based in a recently developed image fusion methodology consisting in applying a 1-D pseudo-Wigner distribution (PWD) t...
197
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
269
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Map-Reduce is a programming model that enables easy development of scalable parallel applications to process vast amounts of data on large clusters of commodity machines. Through ...