2173 search results - page 236 / 435 » An operational semantics for skeletons |
103
click to vote
SCP
2010
14 years 11 months ago
2010
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
114
Voted
DAC
2011
ACM
14 years 15 days ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
112
Voted
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
241
click to vote
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...