2245 search results - page 213 / 449 » A Case Study Implementing Features Using AspectJ |
142
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
237
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
186
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
273
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
140
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...