10707 search results - page 197 / 2142 » Designing executable abstractions |
101
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
The leading implementations of graph reduction all target conventional processors designed for low-level imperative execution. In this paper, we present a processor specially desi...
114
click to vote
USENIX
2003
15 years 5 months ago
2003
We present an in-kernel disk prefetcher which uses speculative execution to determine what data an application is likely to require in the near future. By placing our design withi...
120
Voted
OTM
2004
Springer
15 years 9 months ago
2004
Springer
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
139
Voted
PKC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
124
click to vote
ENTCS
2006
15 years 3 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution