1112 search results - page 140 / 223 » Executing Abstract Test Cases |
115
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
111
click to vote
SASP
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
158
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
122
Voted
LCPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
106
click to vote
IFM
1999
Springer
15 years 7 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...