3507 search results - page 78 / 702 » Specialized execution environments |
126
Voted
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
113
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unk...
139
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
126
Voted
WOODPECKER
2001
15 years 5 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
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...