1179 search results - page 167 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
152
click to vote
AVI
2008
15 years 6 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
122
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Pathways in biological system often cooperate with each other to function. Changes of interactions among pathways tightly associate with alterations in the properties ...
165
click to vote
HPCC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract--The Grid is an heterogeneous and dynamic environment which enables distributed computation. This makes it a technology prone to failures. Some related work uses replicati...
127
click to vote
MOBIHOC
2003
ACM
16 years 4 months ago
2003
ACM
It is often useful to know the geographic positions of nodes in a communications network, but adding GPS receivers or other sophisticated sensors to every node can be expensive. W...
142
click to vote
JAPLL
2008
15 years 4 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...