98 search results - page 16 / 20 » Optimal Non-deterministic Functional Logic Computations |
VLSID
2005
IEEE
15 years 5 months ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...
101
click to vote
RTSS
1992
IEEE
15 years 3 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
119
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...