1631 search results - page 134 / 327 » Observing Functional Logic Computations |
130
Voted
JLP
2006
15 years 3 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
111
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Structuring and mapping of a Boolean function is an important problem in the design of complex integrated circuits. Libraryaware constructive decomposition offers a solution to th...
105
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
120
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
159
Voted
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...