7380 search results - page 457 / 1476 » Engineering Software Intensive Systems |
168
Voted
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
154
Voted
IWPC
1999
IEEE
15 years 9 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
129
click to vote
UIST
1997
ACM
15 years 9 months ago
1997
ACM
This TechNote reports on our initial results of realizing a computer augmented wall called the HoloWall. Using an infrared camera located behind the wall, this system allows a use...
151
click to vote
PEPM
1997
ACM
15 years 9 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
133
click to vote
ISOTAS
1993
15 years 9 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...