2231 search results - page 132 / 447 » Alternation as a programming paradigm |
142
click to vote
CSUR
1999
15 years 3 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
137
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present an interface for controlling mobile robots that combines aspects of graphical trajectory specification and state-based programming. This work is motivated by common...
129
click to vote
COMSIS
2010
15 years 1 months ago
2010
The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software de...
231
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
136
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...