677 search results - page 78 / 136 » Dependent Types from Counterexamples |
RECOMB
2006
Springer
15 years 10 months ago
2006
Springer
We have combined four different types of functional genomic data to create high coverage protein interaction networks for 11 microbes. Our integration algorithm naturally handles s...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
HOST
2008
IEEE
15 years 4 months ago
2008
IEEE
—A number of applications depend on the protection of security-sensitive hardware, preventing unauthorized users from gaining access to the functionality of the integrated circui...
ICAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...
NOCS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces a cost-effective technique to deal with CMP coherence protocol requirements from the interconnection network point of view. A mechanism is presented to avoid...