Sciweavers

1635 search results - page 9 / 327
» DIPC: A System Software Solution for Distributed Programming
Sort
View
EUROGP
2004
Springer
106views Optimization» more  EUROGP 2004»
14 years 26 days ago
The Evolution of Concurrent Control Software Using Genetic Programming
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
John Hart, Martin J. Shepperd
CC
2004
Springer
122views System Software» more  CC 2004»
14 years 26 days ago
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
Erin Parker, Siddhartha Chatterjee
ASPLOS
1996
ACM
13 years 11 months ago
An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
13 years 12 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
CPHYSICS
2007
222views more  CPHYSICS 2007»
13 years 7 months ago
JADAMILU: a software code for computing selected eigenvalues of large sparse symmetric matrices
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
Matthias Bollhöfer, Yvan Notay