Sciweavers

7961 search results - page 473 / 1593
» Input-Output Model Programs
Sort
View
ERSHOV
1999
Springer
15 years 10 months ago
Twin - A Design Pattern for Modeling Multiple Inheritance
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...
Hanspeter Mössenböck
FLAIRS
2006
15 years 8 months ago
Developing an Authoring System for Cognitive Models within Commercial-Quality ITSs
Producing Intelligent Tutoring Systems (ITSs) is a labor-intensive process, requiring many different skill sets. A major component of an ITS, the cognitive model, has historically...
Stephen Blessing, Stephen B. Gilbert, Steven Ritte...
SIGSOFT
2006
ACM
16 years 15 days ago
Bit level types for high level reasoning
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
Ranjit Jhala, Rupak Majumdar
ASPLOS
1994
ACM
15 years 10 months ago
Compiler Optimizations for Improving Data Locality
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
Steve Carr, Kathryn S. McKinley, Chau-Wen Tseng
ICFP
2006
ACM
16 years 6 months ago
Modelling deterministic concurrent I/O
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
Malcolm Dowse, Andrew Butterfield