11129 search results - page 2050 / 2226 » Modeling Search Computing Applications |
146
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
175
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...
185
click to vote
COMSWARE
2007
IEEE
16 years 25 days ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
170
click to vote
ICS
2007
Tsinghua U.
16 years 19 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
170
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...