1549 search results - page 216 / 310 » On the rules of intermediate logics |
139
click to vote
HASKELL
2009
ACM
16 years 4 days ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
160
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
160
click to vote
ANSS
2006
IEEE
15 years 11 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
156
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
102
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Functional unit shutdown based on MTCMOS devices is effective for leakage reduction in aggressively scaled technologies. However, the applicability of MTCMOS-based shutdown in a s...