Sciweavers

7835 search results - page 1406 / 1567
» Software are Processes Too
Sort
View
ICDCS
2010
IEEE
13 years 10 months ago
3DLoc: Three Dimensional Wireless Localization Toolkit
In this paper, we present 3DLoc: an integrated system of hardware and software toolkits for locating an 802.11compliant mobile device in a three dimensional (3D) space. 3DLoc feat...
Jizhi Wang, Yinjie Chen, Xinwen Fu, Jie Wang, Wei ...
ASE
2008
102views more  ASE 2008»
13 years 10 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
BIOSYSTEMS
2007
103views more  BIOSYSTEMS 2007»
13 years 10 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»
13 years 10 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»
13 years 10 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 1406 / 1567 Last » Next »