74 search results - page 4 / 15 » Implementation of Combinational and Sequential Functions in ... |
PDP
1995
IEEE
15 years 1 months ago
1995
IEEE
We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
84
Voted
TPHOL
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
73
Voted
NETWORKING
2004
14 years 11 months ago
2004
We consider the utility of two key properties of network-embedded storage: programmability and network-awareness. We describe two extensive applications, whose performance and fun...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
103
Voted
DASIP
2010
14 years 5 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...