Sciweavers

1747 search results - page 55 / 350
» Long Range Dependence
Sort
View
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
15 years 11 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»
15 years 9 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
15 years 8 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»
15 years 9 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»
15 years 6 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&...