10458 search results - page 43 / 2092 » Modeling Features at Runtime |
135
click to vote
IEEECIT
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
123
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
105
click to vote
DAC
2007
ACM
15 years 6 months ago
2007
ACM
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
131
click to vote
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...