769 search results - page 67 / 154 » A Machine Model for Aspect-Oriented Programming |
135
Voted
FPL
2007
Springer
15 years 9 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
137
Voted
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
128
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
143
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
133
click to vote
ATS
2009
IEEE
15 years 8 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...