179 search results - page 19 / 36 » Lazy Evaluation for OCL |
CG
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we propose a new dynamic and efficient bounding volume hierarchy for breakable objects undergoing structured and/or unstructured motion. Our object
125
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
111
click to vote
ENTCS
2000
15 years 1 months ago
2000
We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left...
135
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
103
click to vote
HPCC
2005
Springer
15 years 7 months ago
2005
Springer
Distributed JVM systems enable concurrent Java applications to transparently run on clusters of commodity computers by supporting Java’s shared-memory model over multiple JVMs di...