2635 search results - page 202 / 527 » Refactoring Process Models in Large Process Repositories |
119
click to vote
TCBB
2010
15 years 2 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
138
Voted
DAC
1994
ACM
15 years 8 months ago
1994
ACM
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
140
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
139
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
110
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
The process of sequential redundancy identification is the cornerstone of sequential synthesis and equivalence checking frameworks. The scalability of the proof obligations inhere...