Sciweavers

4311 search results - page 533 / 863
» Code Generation for Distributed Systems
Sort
View
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 4 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
90
Voted
ATAL
2006
Springer
15 years 4 months ago
Component Agent Framework for domain-Experts (CAFnE) toolkit
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
Gaya Buddhinath Jayatilleke, John Thangarajah, Lin...
125
Voted
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 4 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
GVD
2004
111views Database» more  GVD 2004»
15 years 2 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
HPDC
2007
IEEE
15 years 7 months ago
Feedback-directed thread scheduling with memory considerations
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...
Fengguang Song, Shirley Moore, Jack Dongarra