Sciweavers

53302 search results - page 151 / 10661
» On the design of a
Sort
View
WETICE
1996
IEEE
14 years 7 days ago
A constraint-based model of coordination in concurrent design projects
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
Lokesh Gupta, John F. Chionglo, Mark S. Fox
DAC
1996
ACM
14 years 7 days ago
Innovative Verification Strategy Reduces Design Cycle Time for High-End Sparc Processor
Superscalar processor developers are creatively leveraging best-in-class design verification tools to meet narrow market windows. Accelerated simulation is especially useful owing...
Val Popescu, Bill McNamara
TACAS
1997
Springer
197views Algorithms» more  TACAS 1997»
14 years 7 days ago
Design/CPN - A Computer Tool for Coloured Petri Nets
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
Søren Christensen, Jens Bæk Jø...
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
14 years 7 days ago
Towards a Design Methodology for Decision Support Systems
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
J. J. Zuurbier, J. N. Brinkkemper, Margriet Offere...
EUROCAST
2007
Springer
97views Hardware» more  EUROCAST 2007»
13 years 12 months ago
A Practical Agent-Based Approach for Pattern Layout Design
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...
Cunhao Fang, Song Cao
« Prev « First page 151 / 10661 Last » Next »