3565 search results - page 405 / 713 » Modeling a system controller for timing analysis |
198
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
155
Voted
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
15 years 5 months ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
133
Voted
MEMICS
2010
14 years 12 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
158
Voted
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
175
Voted
SBRN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper proposes a simple methodology to construct an iterative neural network which mimics a given chaotic time series. The methodology uses the Gamma test to identify a suita...