1874 search results - page 172 / 375 » Abstract Machine for LDL |
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
110
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...
156
click to vote
ESOP
1994
Springer
15 years 7 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
113
click to vote
CSR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We will show how padding techniques can be applied on onedimensional cellular automata by proving a transfer theorem on complexity classes (how one inclusion of classes i...
122
Voted
CSCLP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...