Sciweavers

1675 search results - page 145 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
ESOP
2004
Springer
15 years 10 months ago
Answer Type Polymorphism in Call-by-Name Continuation Passing
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
Hayo Thielecke
129
Voted
IFIP
2001
Springer
15 years 9 months ago
A Standardized Co-simulation Backbone
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
Braulio Adriano de Mello, Flávio Rech Wagne...
HIPS
1998
IEEE
15 years 9 months ago
Further Results for Improving Loop Interchange in Non-Adjacent and Imperfectly Nested Loops
Loop interchange is a powerful restructuring technique for supporting vectorization and parallelization. In this paper, we propose a technique which is better to determine whether...
Tsung-Chuan Huang, Cheng-Ming Yang
ASPLOS
1987
ACM
15 years 8 months ago
Pipelining and Performance in the VAX 8800 Processor
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
Douglas W. Clark
WSC
1997
15 years 6 months ago
SimJAVA - A Framework for Modeling Queueing Networks in Java
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
Wolfgang Kreutzer, Jane Hopkins, Marcel van Mierlo