4743 search results - page 504 / 949 » The PlusCal Algorithm Language |
109
click to vote
APPROX
2007
Springer
15 years 7 months ago
2007
Springer
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
129
click to vote
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
123
click to vote
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
141
click to vote
FQAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repo...
120
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
The bounding-box of a geometric shape in 2D is the rectangle with the smallest area in a given orientation (usually upright) that complete contains the shape. The best-fit bounding...