Sciweavers

9518 search results - page 1748 / 1904
» On Mobility of Software Processes
Sort
View
SIGCOMM
2010
ACM
15 years 6 months ago
Caliper: a tool to generate precise and closed-loop traffic
Generating realistic and responsive traffic that reflects different network conditions is a challenging problem associated with performing valid experiments in network testbeds. I...
Monia Ghobadi, Martin Labrecque, Geoffrey Salmon, ...
154
Voted
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
139
Voted
BIOSYSTEMS
2007
103views more  BIOSYSTEMS 2007»
15 years 6 months ago
A design framework to model retinas
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
Christian A. Morillas, Samuel F. Romero, Antonio M...
BMCBI
2008
153views more  BMCBI 2008»
15 years 6 months ago
GAPscreener: An automatic tool for screening human genetic association literature in PubMed using the support vector machine tec
Background: Synthesis of data from published human genetic association studies is a critical step in the translation of human genome discoveries into health applications. Although...
Wei Yu, Melinda Clyne, Siobhan M. Dolan, Ajay Yesu...
CN
2008
162views more  CN 2008»
15 years 6 months ago
A cache-based internet protocol address lookup architecture
This paper proposes a novel Internet Protocol (IP) packet forwarding architecture for IP routers. This architecture is comprised of a non-blocking Multizone Pipelined Cache (MPC) ...
Soraya Kasnavi, Paul Berube, Vincent C. Gaudet, Jo...
« Prev « First page 1748 / 1904 Last » Next »