46 search results - page 6 / 10 » Evaluating Call-By-Need on the Control Stack |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
WSC
1997
13 years 9 months ago
1997
This paper presents a discussion of simulation-related issues arising in the study of self-similar network traffic with respect to its effect and control. Selfsimilar traffic has...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—A substantially long round trip time (RTT) in space channel hurts TCP interactions between the sending and receiving ends. The Consultative Committee for Space Data Systems (CCS...
HIPEAC
2005
Springer
14 years 1 months ago
2005
Springer
Detecting and predicting a program’s execution phases are crucial to dynamic optimizations and dynamically adaptable systems. This paper shows that a phase can be associated with...
DATE
2010
IEEE
14 years 24 days ago
2010
IEEE
: Scaling down in very deep submicron (VDSM) technologies increases the delay, power consumption of on-chip interconnects, while the reliability and yield decrease. In high perform...