27 search results - page 6 / 6 » Synthesis of Safe Message-Passing Systems |
ICES
2005
Springer
13 years 11 months ago
2005
Springer
Evolvable Hardware arises as a promising solution for automatic digital synthesis of digital and analog circuits. During the last decade, a special interest has been focused on evo...
OSDI
1996
ACM
13 years 6 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...