190 search results - page 30 / 38 » Aspect-Oriented Programming in BETA Using the Fragment Syste... |
ICDT
2012
ACM
11 years 9 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
IISWC
2006
IEEE
14 years 1 months ago
2006
IEEE
—The rapid pace of change in 3D game technology makes workload characterization necessary for every game generation. Comparing to CPU characterization, far less quantitative info...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
NJC
2000
13 years 7 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
ACMSE
2009
ACM
14 years 1 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...