9 search results - page 1 / 2 » Automated Reformulation of Specifications by Safe Delay of C... |
KR
2004
Springer
13 years 10 months ago
2004
Springer
DAC
2006
ACM
14 years 5 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
This paper presents the first in-depth study on applying dual Vdd buffers to buffer insertion and multi-sink buffered tree construction for power minimization under delay constrai...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
SCP
2000
13 years 4 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...