Sciweavers

562 search results - page 43 / 113
» Teaching programming and language concepts using LEGOs
Sort
View
EMSOFT
2005
Springer
15 years 9 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
102
Voted
SIGADA
1999
Springer
15 years 7 months ago
Interfacing low-level C device drivers with Ada 95
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
Steven Doran
118
Voted
ICFP
2006
ACM
16 years 3 months ago
Towards an automatic complexity analysis for generic programs
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Kyle D. Ross
152
Voted
ENTCS
2006
168views more  ENTCS 2006»
15 years 3 months ago
Case Study: Model Transformations for Time-triggered Languages
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
Tivadar Szemethy
ESOP
2009
Springer
15 years 10 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller