1210 search results - page 98 / 242 » Formal Techniques for Java Programs |
123
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
132
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
138
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
138
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
118
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...