2520 search results - page 472 / 504 » Model-checking behavioral programs |
GECCO
2003
Springer
14 years 26 days ago
2003
Springer
The formation of fruiting bodies by myxobacteria colonies involves altruistic suicide by many individual bacteria and is thus vulnerable to exploitation by cheating mutants. We rep...
ISCA
2010
IEEE
14 years 22 days ago
2010
IEEE
Aggressive technology scaling into the nanometer regime has led to a host of reliability challenges in the last several years. Unlike onchip caches, which can be efficiently prot...
ISORC
2002
IEEE
14 years 17 days ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
RSP
2000
IEEE
14 years 1 days ago
2000
IEEE
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...
EH
1999
IEEE
13 years 12 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...