215 search results - page 25 / 43 » State-Transition Computation Models and Program Correctness ... |
119
click to vote
SMA
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel technique for approximating the boundary of a swept volume. The generator given by an input triangle mesh is rendered under all rigid transformations of a discr...
229
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
114
Voted
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
107
click to vote
PDPTA
2004
15 years 3 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...
102
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...