2278 search results - page 167 / 456 » Specification Techniques for Automatic Performance Analysis ... |
154
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Parallel processing using multiple processors is a well-established technique to accelerate many different classes of applications. However, as the density of chips increases, ano...
157
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
227
click to vote
VALUETOOLS
2006
ACM
16 years 11 days ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
187
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Address correlation is a technique that links the addresses that reference the same data values. Using a detailed source-code level analysis, a recent study [1] revealed that diffe...
200
click to vote
AADEBUG
2005
Springer
15 years 12 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...