Sciweavers

2810 search results - page 478 / 562
» Dynamic Virtual Clustering
Sort
View
KES
2008
Springer
15 years 6 months ago
The PERPLEXUS bio-inspired hardware platform: A flexible and modular approach
This paper introduces the Perplexus hardware platform, a scalable computing substrate made of custom reconfigurable devices endowed with bio-inspired capabilities. This platform w...
Andres Upegui, Yann Thoma, Eduardo Sanchez, Andr&e...
LISP
2008
97views more  LISP 2008»
15 years 6 months ago
Efficient and flexible access control via Jones-optimal logic program specialisation
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
Steve Barker, Michael Leuschel, Mauricio Varea
ENTCS
2007
128views more  ENTCS 2007»
15 years 6 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
TCAD
2008
120views more  TCAD 2008»
15 years 6 months ago
Charge Recycling in Power-Gated CMOS Circuits
Abstract--Design of a suitable power gating (e.g., multithreshold CMOS or super cutoff CMOS) structure is an important and challenging task in sub-90nm VLSI circuits where leakage ...
Ehsan Pakbaznia, Farzan Fallah, Massoud Pedram
AROBOTS
2004
127views more  AROBOTS 2004»
15 years 6 months ago
Distributed, Physics-Based Control of Swarms of Vehicles
We introduce a framework, called "physicomimetics," that provides distributed control of large collections of mobile physical agents in sensor networks. The agents sense...
William M. Spears, Diana F. Spears, Jerry C. Haman...