7529 search results - page 1249 / 1506 » The Modula-3 Type System |
159
click to vote
OOPSLA
2007
Springer
16 years 21 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...
153
click to vote
SAS
2007
Springer
16 years 21 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
144
click to vote
WDAG
2007
Springer
16 years 20 days ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
166
click to vote
WEA
2007
Springer
16 years 20 days ago
2007
Springer
We introduce a dynamic technique for fast route planning in large road networks. For the first time, it is possible to handle the practically relevant scenarios that arise in pres...
185
click to vote
WEBDB
2007
Springer
16 years 20 days ago
2007
Springer
Open Information Extraction (OIE) is a recently-introduced type of information extraction that extracts small individual pieces of data from input text without any domainspecific...