882 search results - page 69 / 177 » Allowing State Changes in Specifications |
122
click to vote
ARCS
2010
Springer
15 years 11 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
190
click to vote
MFCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
156
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
An important task in Requirements Engineering is to select which requirements that should go into a specific release of a system. This is a complex decision that requires balancin...
143
click to vote
IADIS
2004
15 years 7 months ago
2004
As stated in the Web Content Accessibility Guidelines, it is extremely important to provide clear and consistent navigation mechanisms to increase the likelihood that a person wil...
136
click to vote
ENTCS
2008
15 years 6 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...