684 search results - page 23 / 137 » Techniques for Accelerating a Grammar-Checker |
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Sparse recovery techniques have been shown to produce very accurate acoustic images, significantly outperforming traditional deconvolution approaches. However, so far these propo...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
The availability of easily programmable manycore CPUs and GPUs has motivated investigations into how to best exploit their tremendous computational power for scientific computing...
STTT
2008
13 years 9 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
IOLTS
2007
IEEE
14 years 4 months ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...