5196 search results - page 124 / 1040 » State of Application Assessment |
ISCAS
2002
IEEE
14 years 3 months ago
2002
IEEE
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
ECIS
2003
13 years 11 months ago
2003
Not long ago m-commerce was proclaimed as the next technological revolution and opportunity for companies to provide a new distribution channel for customers. But, first examples ...
HPCA
2003
IEEE
14 years 10 months ago
2003
IEEE
Thread-level speculation provides architectural support to aggressively run hard-to-analyze code in parallel. As speculative tasks run concurrently, they generate unsafe or specul...
CP
2007
Springer
14 years 4 months ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
CAV
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...