1031 search results - page 72 / 207 » codes 2004 |
ICCS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
ISOLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
73
Voted
WSC
2004
14 years 12 months ago
2004
The simulation pioneers had no choice but to write code if they wished to conduct a computer simulation. Hence the early interest in simulation worldviews, which allowed an applic...
CORR
2004
Springer
14 years 10 months ago
2004
Springer
We continue to discuss why MMSE estimation arises in coding schemes that approach the capacity of linear Gaussian channels. Here we consider schemes that involve successive decodi...
109
click to vote
CODES
2004
IEEE
15 years 2 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...