Sciweavers

2302 search results - page 114 / 461
» The Evolution of Concurrent Programs
Sort
View
PLDI
2006
ACM
16 years 7 days ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
Mayur Naik, Alex Aiken, John Whaley
ERLANG
2006
ACM
16 years 7 days ago
Concurrent caching
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
Jay Nelson
COORDINATION
2004
Springer
15 years 11 months ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek
APIN
2000
103views more  APIN 2000»
15 years 6 months ago
Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
Brian J. Ross
CORR
2009
Springer
87views Education» more  CORR 2009»
15 years 4 months ago
A Concurrent Language with a Uniform Treatment of Regions and Locks
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...