1508 search results - page 215 / 302 » Efficient Path Profiling |
AINA
2004
IEEE
14 years 19 days ago
2004
IEEE
The routing algorithms for multimedia communication should use for routing more than one QoS parameter. This is because new services such as video on demand and remote meeting sys...
CAV
2004
Springer
14 years 19 days 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. ...
CLUSTER
2004
IEEE
14 years 19 days ago
2004
IEEE
Cluster Storage Systems where storage devices are distributed across a large number of nodes are able to reduce the I/O bottleneck problems present in most centralized storage sys...
ECAI
2006
Springer
14 years 17 days ago
2006
Springer
We present a detailed study of two inverse consistencies for non-binary constraints: relational path inverse consistency (rel PIC) and pairwise inverse consistency (PWIC). These ar...
DAC
1997
ACM
14 years 13 days ago
1997
ACM
This paper presents a low-overhead controller-based power managementtechnique that re-specifies control signals to reconfigure existing multiplexer networks and functional units t...