Sciweavers

3280 search results - page 237 / 656
» Design Families and Design Individuals
Sort
View
CEC
2009
IEEE
15 years 10 months ago
Reverse-engineering of artificially evolved controllers for swarms of robots
It is generally challenging to design decentralized controllers for swarms of robots because there is often no obvious relation between the individual robot behaviors and the final...
Sabine Hauert, Jean-Christophe Zufferey, Dario Flo...
FMCAD
2007
Springer
15 years 10 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
HOTOS
2009
IEEE
15 years 10 months ago
Peloton: Coordinated Resource Management for Sensor Networks
This paper makes the case that operating system designs for sensor networks should focus on the coordination of resource management decisions across the network, rather than merel...
Jason Waterman, Geoffrey Werner Challen, Matt Wels...
ARC
2006
Springer
85views Hardware» more  ARC 2006»
15 years 10 months ago
Time-Memory Trade-Off Attack on FPGA Platforms: UNIX Password Cracking
Abstract. This paper presents a hardware architecture for UNIX password cracking using Hellman's time-memory trade-off; it is the first hardware design for a key search machin...
Nele Mentens, Lejla Batina, Bart Preneel, Ingrid V...
DEXAW
2004
IEEE
111views Database» more  DEXAW 2004»
15 years 10 months ago
A Complex Systems Approach to Service Discovery
Complex systems are those systems composed of many, often very simple, interacting autonomous entities. Interactions between these entities give rise to behaviour and patterns at t...
Ricky Robinson, Jadwiga Indulska