366 search results - page 37 / 74 » Sensitivity Analysis and Optimization Algorithm -- Based on ... |
128
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
127
click to vote
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
SODA
2010
ACM
15 years 20 days ago
2010
ACM
Star-shaped bodies are an important nonconvex generalization of convex bodies (e.g., linear programming with violations). Here we present an efficient algorithm for sampling a giv...
148
Voted
TMI
2002
15 years 1 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
111
click to vote
CCE
2010
14 years 11 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...