Search Sciweavers | Sciweavers

1624 search results - page 40 / 325

» Distributed Threads in Java

click to vote

FMICS
2009
Springer

146views Formal Methods» more FMICS 2009»

Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs

13 years 11 months ago

Download d3s.mff.cuni.cz

The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...

Pavel Parizek, Tomás Kalibera

claim paper

Read More »

click to vote

IPPS
2003
IEEE

115views Distributed And Parallel Com...» more IPPS 2003»

Automatic Resource Management Using an Adaptive Parallelism Environment

14 years 20 days ago

Download www.ics.uci.edu

The Adaptive Parallelism Environment is introduced as a means of eﬀectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...

David Wangerin, Isaac D. Scherson

claim paper

Read More »

click to vote

CLUSTER
2005
IEEE

110views Distributed And Parallel Com...» more CLUSTER 2005»

Near Overhead-free Heterogeneous Thread-migration

14 years 1 months ago

Download www2.informatik.uni-erlangen.de

Thread migration moves a single call-stack to another machine to improve either load balancing or locality. Current approaches for checkpointing and thread migration are either no...

Ronald Veldema, Michael Philippsen

claim paper

Read More »

click to vote

IPPS
2000
IEEE

82views Distributed And Parallel Com...» more IPPS 2000»

Caching Single-Assignment Structures to Build a Robust Fine-Grain Multi-Threading System

13 years 11 months ago

Download ipdps.cc.gatech.edu

Wen-Yen Lin, Jean-Luc Gaudiot, José Nelson ...

claim paper

Read More »