523 search results - page 47 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
95
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
115
click to vote
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
155
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
To keep a Graphical User Interface (GUI) responsive and active, a GUI application often has a main UI thread (or event dispatching thread) and spawns separate threads to handle le...
247
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
117
Voted
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...