3394 search results - page 268 / 679 » A Modal Model of Memory |
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The tolerancing process links the virtual and the real worlds. From the former, tolerances define a variational geometrical language (geometric parameters). From the latter, there...
193
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
178
Voted
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
184
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
An asynchronous work-stealing implementation of dynamic load balance is implemented using Unified Parallel C (UPC) and evaluated using the Unbalanced Tree Search (UTS) benchmark ...
180
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...