595 search results - page 35 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
121
Voted
FTCS
1998
15 years 4 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
111
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we describe load scheduling, a novel method that balances load among register files by residual resources. Load scheduling can reduce register pressure for clustered...
136
Voted
PODC
2009
ACM
15 years 11 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
132
click to vote
CC
2009
Springer
15 years 7 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
124
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...