Sciweavers

4491 search results - page 211 / 899
» Algorithm Engineering
Sort
View
ISPW
2007
IEEE
15 years 8 months ago
Process Mining Framework for Software Processes
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
Vladimir Rubin, Christian W. Günther, Wil M. ...
FSTTCS
1995
Springer
15 years 6 months ago
Branch and Bound on the Network Model
Karp and Zhang developed a general randomized parallel algorithm for solving branch and bound problems. They showed that with high probability their algorithm attained optimal spe...
Sanjay Jain
STOC
1992
ACM
91views Algorithms» more  STOC 1992»
15 years 6 months ago
Randomized versus Nondeterministic Communication Complexity
Paul Beame Joan Lawry Department of Computer Science and Engineering, FR-35 University of Washington Seattle, Washington 98195 Our main result is the demonstration of a Boolean fu...
Paul Beame, Joan Lawry
109
Voted
FASE
2009
Springer
15 years 6 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
131
Voted
CGO
2006
IEEE
15 years 8 months ago
Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
Zhelong Pan, Rudolf Eigenmann