5415 search results - page 985 / 1083 » The Implementation of Functional Programming Languages |
124
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
105
click to vote
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generatorsâ...
115
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
105
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...