1878 search results - page 150 / 376 » The Vienna Abstract Machine |
124
Voted
IPTPS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract— Content sharing is a popular usage of peerto-peer systems for its inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-to-pe...
123
Voted
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
125
Voted
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
148
Voted
ACSE
2000
ACM
15 years 8 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
123
Voted
APN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...