2520 search results - page 215 / 504 » Model-checking behavioral programs |
170
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
159
click to vote
IROS
2007
IEEE
16 years 24 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
158
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
215
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
167
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
Correctly predicting the direction that branches will take is increasingly important in today’s wide-issue computer architectures. The name program-based branch prediction is gi...