Sciweavers

1359 search results - page 35 / 272
» Black-Box Program Specialization
Sort
View
HPCN
1997
Springer
14 years 24 days ago
An Application-Level Dependable Technique for Farmer-Worker Parallel Programs
An application-level technique is described for farmer-worker parallel applications which allows a worker to be added or removed from the computing farm at any moment of the run ti...
Vincenzo De Florio, Geert Deconinck, Rudy Lauwerei...
MM
2004
ACM
114views Multimedia» more  MM 2004»
14 years 2 months ago
ChucK: a programming language for on-the-fly, real-time audio synthesis and multimedia
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
Ge Wang, Perry R. Cook
IFIP
1998
Springer
14 years 26 days ago
Java as a systems programming language: three case studies
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies. The projects exerc...
Judy M. Bishop
LFCS
2007
Springer
14 years 2 months ago
Compactness Properties for Stable Semantics of Logic Programs
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
Victor W. Marek, Jeffrey B. Remmel
FLOPS
2010
Springer
14 years 1 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann