7529 search results - page 1267 / 1506 » The Modula-3 Type System |
163
click to vote
DIGRA
2005
Springer
16 years 2 days ago
2005
Springer
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
178
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
184
click to vote
FASE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
149
click to vote
FPL
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
149
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...