1279 search results - page 143 / 256 » Fast Implementations of Automata Computations |
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
ASAP
2008
IEEE
14 years 4 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
We present an experimental study of parallel biconnected components algorithms employing several fundamental parallel primitives, e.g., prefix sum, list ranking, sorting, connect...