1102 search results - page 97 / 221 » Generalizing Updates: From Models to Programs |
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
113
click to vote
JLP
2008
15 years 13 days ago
2008
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interva...
110
Voted
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
89
Voted
CP
2003
Springer
15 years 5 months ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
194
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...