Sciweavers

5090 search results - page 458 / 1018
» Constructing Strategies for Programming
Sort
View
APSEC
2005
IEEE
16 years 16 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
ISLPED
2005
ACM
63views Hardware» more  ISLPED 2005»
16 years 14 days ago
Inter-program optimizations for conserving disk energy
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...
Jerry Hom, Ulrich Kremer
XSYM
2005
Springer
84views Database» more  XSYM 2005»
16 years 11 days ago
Patterns and Types for Querying XML Documents
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
Giuseppe Castagna
ITICSE
2004
ACM
16 years 10 days ago
Experiences with teaching design patterns
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
Sylvia Stuurman, Gert Florijn
SAC
2004
ACM
16 years 9 days ago
Type-safe covariance in C++
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...
Vitaly Surazhsky, Joseph Gil