2786 search results - page 342 / 558 » A Practical Technique for Process Abstraction |
170
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
168
click to vote
SAFECOMP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
150
click to vote
DIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
147
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
167
click to vote
MOZ
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...