103 search results - page 21 / 21 » Typed Normal Form Bisimulation |
OSDI
2000
ACM
13 years 7 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
BMCBI
2005
13 years 5 months ago
2005
Background: Analysis of inherited diseases and their associated phenotypes is of great importance to gain knowledge of underlying genetic interactions and could ultimately give cl...
JCP
2007
13 years 5 months ago
2007
—Embedded systems normally involve a combination of hardware and software resources designed to perform dedicated tasks. Such systems have widely crept into industrial control, a...