Sciweavers

1747 search results - page 55 / 350
» Long Range Dependence
Sort
View
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 7 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
ISCA
2006
IEEE
148views Hardware» more  ISCA 2006»
14 years 4 months ago
Tolerating Dependences Between Large Speculative Threads Via Sub-Threads
Thread-level speculation (TLS) has proven to be a promising method of extracting parallelism from both integer and scientific workloads, targeting speculative threads that range ...
Christopher B. Colohan, Anastassia Ailamaki, J. Gr...
KI
2005
Springer
14 years 3 months ago
Dependency Calculus: Reasoning in a General Point Relation Algebra
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
Marco Ragni, Alexander Scivos
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 4 months ago
Average consensus over small world networks: A probabilistic framework
— It has been observed that adding a few long range edges to certain graph topologies can significantly increase the rate of convergence for consensus algorithms. A notable exam...
Pedram Hovareshti, John S. Baras, Vijay Gupta
ISER
2000
Springer
136views Robotics» more  ISER 2000»
14 years 1 months ago
Autonomous Rover Navigation on Unknown Terrains Functions and Integration
: Autonomous long range navigation in partially known planetary-like terrain is an open challenge for robotics. Navigating several hundreds of meters without any human intervention...
Simon Lacroix, Anthony Mallet, David Bonnafous, G&...