452 search results - page 56 / 91 » Symbolic Execution of Behavioral Requirements |
105
Voted
PDP
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Load balancing algorithms are an essential component of parallel computing reducing the response time of applications. Frequently, balancing algorithms have a centralize...
80
Voted
EUROMICRO
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
105
Voted
MICRO
2003
IEEE
15 years 4 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
87
Voted
WSE
2002
IEEE
15 years 3 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...