43264 search results - page 546 / 8653 » Comparing models of computation |
199
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
217
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
Recent years have seen an increasing interest in end-to-end available bandwidth estimation. A number of estimation techniques and tools have been developed during the last few year...
200
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
198
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
206
click to vote
EUC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. As process technology scales down, power wall starts to hinder improvements in processor performance. Performance optimization has to proceed under a power constraint. Th...