Sciweavers

2056 search results - page 33 / 412
» time 2000
Sort
View
104
Voted
DAC
2000
ACM
15 years 7 months ago
TACO: timing analysis with coupling
: The impact of coupling capacitance on delay is usually estimated by scaling the coupling capacitances (often by a factor of 2) and modeling them as grounded. This simple approach...
Ravishankar Arunachalam, Karthik Rajagopal, Lawren...
130
Voted
FASE
2000
Springer
15 years 6 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
132
Voted
ICALP
2000
Springer
15 years 6 months ago
On the Representation of Timed Polyhedra
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
Olivier Bournez, Oded Maler
139
Voted
ML
2000
ACM
103views Machine Learning» more  ML 2000»
15 years 2 months ago
Nonparametric Time Series Prediction Through Adaptive Model Selection
We consider the problem of one-step ahead prediction for time series generated by an underlying stationary stochastic process obeying the condition of absolute regularity, describi...
Ron Meir
95
Voted
PADS
2000
ACM
15 years 7 months ago
ROSS: a high-performance, low memory, modular time warp system
In this paper, we introduce a new Time Warp system called ROSS: Rensselaer’s Optimistic Simulation System. ROSS is an extremely modular kernel that is capable of achieving event...
Christopher D. Carothers, David W. Bauer, Shawn Pe...