Sciweavers

341 search results - page 17 / 69
» Use concurrent programming models to motivate teaching of pr...
Sort
View
ECOOP
2010
Springer
15 years 2 months ago
Correct Refactoring of Concurrent Java Code
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
Max Schäfer, Julian Dolby, Manu Sridharan, Em...
LCTRTS
2004
Springer
15 years 3 months ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 3 months ago
Age-Oriented Concurrent Garbage Collection
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
Harel Paz, Erez Petrank, Stephen M. Blackburn
PROCEDIA
2010
281views more  PROCEDIA 2010»
14 years 8 months ago
Introductory computational science using MATLAB and image processing
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
D. Brian Larkins, William Harvey
CTCS
1989
Springer
15 years 1 months ago
Temporal Structures
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
Ross Casley, Roger F. Crew, José Meseguer, ...