536 search results - page 78 / 108 » A computer verified, monadic, functional implementation of t... |
107
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
: Grid is an infrastructure that involves the integrated and collaborative use of computers, networks, databases and scientific instruments owned and managed by multiple organizati...
100
Voted
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—The performance of randomized network coding can suffer significantly when malicious nodes corrupt the content of the exchanged blocks. Previous work have introduced error corr...
124
Voted
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
137
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
SPRINGSIM
2007
15 years 28 days ago
2007
We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...