2266 search results - page 70 / 454 » Generalizing parametric timing analysis |
127
click to vote
TCS
2010
15 years 2 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
172
click to vote
TCOS
2010
15 years 2 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
129
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--This paper proposes a general framework to effectively estimate the unknown timing and channel parameters, as well as design efficient timing resynchronization algorithms...
114
Voted
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
This paper discusses the specification, organization, and utility of time references identified in digital library materials, emphasizing how to treat date references that cannot ...
123
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...