Sciweavers

4716 search results - page 185 / 944
» Iterative-free program analysis
Sort
View
129
Voted
POPL
2004
ACM
15 years 8 months ago
Summarizing procedures in concurrent programs
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
136
Voted
ISCAPDCS
2003
15 years 4 months ago
Performance Monitoring of N-tier Client/Server Systems
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
Christoph Steigner, Jürgen Wilke
111
Voted
STOC
2001
ACM
123views Algorithms» more  STOC 2001»
16 years 2 months ago
On optimal slicing of parallel programs
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
Markus Müller-Olm, Helmut Seidl
ISCAS
2003
IEEE
97views Hardware» more  ISCAS 2003»
15 years 8 months ago
Optimal design of FIR frequency-response-masking filters using second-order cone programming
Since Limís 1986 paper on the frequency-response masking (FRM) technique for the design of FIR digital Ýlters with very small transition widths, the analysis and design of FRM ...
Wu-Sheng Lu, Takao Hinamoto
ICSE
2010
IEEE-ACM
15 years 7 months ago
Eliminating dead-code from XQuery programs
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
Pierre Genevès, Nabil Layaïda