6939 search results - page 607 / 1388 » Algorithm Engineering for Parallel Computation |
148
click to vote
ISESE
2006
IEEE
16 years 15 days ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
204
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
162
click to vote
PDP
2005
IEEE
16 years 2 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
176
Voted
ISSADS
2005
Springer
16 years 25 min ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
187
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...