Sciweavers

3105 search results - page 472 / 621
» The Path-Packing Structure of Graphs
Sort
View
131
Voted
DAC
1994
ACM
15 years 7 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
132
Voted
ICCAD
1992
IEEE
137views Hardware» more  ICCAD 1992»
15 years 7 months ago
Equivalent design representations and transformations for interactive scheduling
High-level synthesis (HLS) requires more designer interaction to better meet the needs of experienced designers. However, attempts to create a highly interactive synthesis process...
Roger P. Ang, Nikil D. Dutt
167
Voted
AGTIVE
2007
Springer
15 years 7 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...
CIA
2007
Springer
15 years 7 months ago
Methods for Coalition Formation in Adaptation-Based Social Networks
: Coalition formation in social networks consisting of a graph of interdependent agents allows many choices of which task to select and with whom to partner in the social network. ...
Levi Barton, Vicki H. Allan
134
Voted
CLOUDCOM
2009
Springer
15 years 7 months ago
Cost-Minimizing Scheduling of Workflows on a Cloud of Memory Managed Multicore Machines
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
Nicolas G. Grounds, John K. Antonio, Jeffrey T. Mu...