Sciweavers

1499 search results - page 78 / 300
» Chopping Concurrent Programs
Sort
View
119
Voted
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 5 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
115
Voted
CONCURRENCY
2000
101views more  CONCURRENCY 2000»
15 years 13 days ago
Wide-area parallel programming using the remote method invocation model
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
Rob van Nieuwpoort, Jason Maassen, Henri E. Bal, T...
ESOP
2008
Springer
15 years 2 months ago
Inferring Channel Buffer Bounds Via Linear Programming
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
Tachio Terauchi, Adam Megacz
CONCURRENCY
2004
151views more  CONCURRENCY 2004»
15 years 14 days ago
User transparency: a fully sequential programming model for efficient data parallel image processing
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
Frank J. Seinstra, Dennis Koelma
193
Voted
POPL
2005
ACM
16 years 28 days ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann