12452 search results - page 2084 / 2491 » An exploration of program as language |
168
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
180
click to vote
ITS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
186
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
151
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
175
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...