Sciweavers

77 search results - page 9 / 16
» Composable Language Extensions for Computational Geometry: A...
Sort
View
EDOC
2008
IEEE
14 years 2 months ago
MDD4SOA: Model-Driven Service Orchestration
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
Philip Mayer, Andreas Schroeder, Nora Koch
CONCUR
2010
Springer
13 years 8 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
TLCA
1993
Springer
13 years 11 months ago
Recursive Types Are not Conservative over F
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
Giorgio Ghelli
ISBI
2004
IEEE
14 years 8 months ago
Fourier-Based Forward and Back-Projectors in Iterative Fan-Beam Tomographic Image Reconstruction
Fourier-based forward and back-projection methods have the potential to reduce computation demands in iterative tomographic image reconstruction. Interpolation errors are a limita...
Yingying Zhang, Jeffrey A. Fessler
IWPC
2002
IEEE
14 years 19 days ago
Building Program Understanding Tools Using Visitor Combinators
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
Arie van Deursen, Joost Visser