2300 search results - page 317 / 460 » Maximally Concurrent Programs |
151
click to vote
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
159
click to vote
IEEEPACT
2005
IEEE
15 years 12 months ago
2005
IEEE
Dynamic optimization has the potential to adapt the program’s behavior at run-time to deliver performance improvements over static optimization. Dynamic optimization systems usu...
149
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
142
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
The goal of data mining algorithm is to discover useful information embedded in large databases. Frequent itemset mining and sequential pattern mining are two important data minin...
158
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...