222 search results - page 6 / 45 » A Systematic Study of Functional Language Implementations |
SELMAS
2004
Springer
14 years 24 days ago
2004
Springer
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...
FPCA
1995
13 years 11 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
MTV
2006
IEEE
14 years 1 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
COOPIS
2002
IEEE
14 years 12 days ago
2002
IEEE
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...