1179 search results - page 151 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
112
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
Testbeds composed of end hosts deployed across the Internet enable researchers to simultaneously conduct a wide variety of experiments. Active measurement studies of Internet path...
143
click to vote
TITS
2008
15 years 4 months ago
2008
Abstract--This paper presents an efficient technique for estimating the pose of an onboard stereo vision system relative to the environment's dominant surface area, which is s...
188
click to vote
NN
2000
Springer
15 years 4 months ago
2000
Springer
The proper functioning of the nervous system depends critically on the intricate network of synaptic connections that are generated during the system development. During the netwo...
131
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Identifying disease gene from a list of candidate genes is an important task in bioinformatics. The main strategy is to prioritize candidate genes based on their simil...
147
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...