2725 search results - page 452 / 545 » Constraint Solving for Interpolation |
71
Voted
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper, we present an approach to synthesize multiple behavior modules. Given n DFGs to be implemented, the previous methods scheduled each of them sequentially, and implem...
111
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
121
Voted
ICCL
1998
IEEE
15 years 5 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...
117
click to vote
LCTRTS
1999
Springer
15 years 5 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
112
click to vote
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...