3104 search results - page 291 / 621 » Using quantitative analysis to implement autonomic IT system... |
113
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
162
click to vote
PLDI
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
141
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
133
click to vote
CCR
2006
15 years 5 months ago
2006
In this paper we describe a new tool being made available to the networking research community for passive analysis of TCP segment traces. The purpose of the tool is to provide mo...
143
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...