684 search results - page 88 / 137 » Techniques for Accelerating a Grammar-Checker |
ASPDAC
2005
ACM
14 years 4 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
ASPLOS
2011
ACM
13 years 2 months ago
2011
ACM
Multicore processors have become ubiquitous in today’s systems, but exploiting the parallelism they offer remains difficult, especially for legacy application and applications ...
ICCV
2003
IEEE
15 years 28 days ago
2003
IEEE
Evaluating sums of multivariate Gaussians is a common computational task in computer vision and pattern recognition, including in the general and powerful kernel density estimatio...
ICDE
2004
IEEE
15 years 11 days ago
2004
IEEE
According to a survey of the University of Berkeley [6], about 5 Exabytes of new information has been created in 2002. This information explosion affects also the database volumes...
DAC
2002
ACM
14 years 12 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...