275 search results - page 43 / 55 » On Hybrid Combination of Queueing and Simulation |
107
click to vote
DAC
1997
ACM
15 years 3 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
ICML
1998
IEEE
16 years 15 days ago
1998
IEEE
This paper introduces a new algorithm, Q2, foroptimizingthe expected output ofamultiinput noisy continuous function. Q2 is designed to need only a few experiments, it avoids stron...
101
click to vote
RECOMB
2005
Springer
16 years 6 hour ago
2005
Springer
Reticulation events occur frequently in many types of species. Therefore, to develop accurate methods for reconstructing phylogenetic networks in order to describe evolutionary his...
104
click to vote
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...