Sciweavers

2231 search results - page 212 / 447
» Alternation as a programming paradigm
Sort
View
SCP
1998
112views more  SCP 1998»
15 years 6 months ago
Structured Gamma
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
Pascal Fradet, Daniel Le Métayer
PLDI
2009
ACM
16 years 1 months ago
Trace-based just-in-time type specialization for dynamic languages
Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit...
Andreas Gal, Brendan Eich, Mike Shaver, David Ande...
SBACPAD
2009
IEEE
155views Hardware» more  SBACPAD 2009»
16 years 1 months ago
SPARC16: A New Compression Approach for the SPARC Architecture
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
Leonardo Luiz Ecco, Bruno Cardoso Lopes, Eduardo C...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 25 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
ACG
2006
Springer
16 years 19 days ago
RSPSA: Enhanced Parameter Optimization in Games
Most game programs have a large number of parameters that are crucial for their performance. Tuning these parameters by hand is rather difficult. Therefore automatic optimization a...
Levente Kocsis, Csaba Szepesvári, Mark H. M...