Search Sciweavers | Sciweavers

7092 search results - page 26 / 1419

» Parallelizing constraint programs

click to vote

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

14 years 18 days ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

ICDE
2007
IEEE

193views Database» more ICDE 2007»

Categorization and Optimization of Synchronization Dependencies in Business Processes

14 years 10 months ago

Download www.cc.gatech.edu

requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...

Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga

claim paper

Read More »

click to vote

COORDINATION
2004
Springer

112views Distributed And Parallel Com...» more COORDINATION 2004»

A Component-Based Parallel Constraint Solver

14 years 2 months ago

Download www.st.ewi.tudelft.nl

As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...

Peter Zoeteweij, Farhad Arbab

claim paper

Read More »

click to vote

ASAP
1997
IEEE

144views Hardware» more ASAP 1997»

Automatic data mapping of signal processing applications

14 years 1 months ago

Download www.prism.uvsq.fr

This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...

Corinne Ancourt, Denis Barthou, Christophe Guettie...

claim paper

Read More »

click to vote

TOOLS
2000
IEEE

104views Programming Languages» more TOOLS 2000»

Some Shortcomings of OCL, the Object Constraint Language of UML

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers