Sciweavers

3482 search results - page 296 / 697
» Cooperative Assembly Systems
Sort
View
ICCL
1992
IEEE
15 years 11 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
ECAI
2006
Springer
15 years 8 months ago
Dramatization Meets Narrative Presentations
In recent times, information presentation has evolved towards sophisticated approaches that involve multi-modal aspects and character-based mediation. This paper presents a novel ...
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo,...
GRAPHICSINTERFACE
2007
15 years 8 months ago
Calligraphic packing
There are many algorithms in non-photorealistic rendering for representing an image as a composition of small objects. In this paper, we focus on the specific case where the obje...
Jie Xu, Craig S. Kaplan
SPLC
2008
15 years 8 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz
PDPTA
2004
15 years 8 months ago
MP-Cluma - A CORBA Based Cluster Management Tool
There are many underlying hardware architectures for execution of parallel applications. One of these is the Network of Workstations (NOW) which is an interesting solution for use...
Silke Schuch, Martin Pöppe