1859 search results - page 218 / 372 » Sketch-based path design |
113
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
154
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
136
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
132
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...
99
Voted
DELTA
2004
IEEE
15 years 7 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...