7557 search results - page 396 / 1512 » Modeling Timed Concurrent Systems |
350
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
194
click to vote
AUSAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
171
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we analyze the effect of jitter in track and hold circuits. The output spectrum is obtained in terms of the system function of the track and hold. It is a fairly g...
197
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...
197
click to vote
TII
2010
15 years 1 months ago
2010
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...