7827 search results - page 128 / 1566 » time 2007 |
180
click to vote
MFCS
2007
Springer
15 years 12 months ago
2007
Springer
In this paper we study language recognition by two-dimensional cellular automata on different possible neighborhoods. Since it is known that all complete neighborhoods are linearl...
173
click to vote
FUIN
2007
15 years 5 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
156
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Ma...
140
click to vote
CALCO
2007
Springer
15 years 12 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
213
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
An increasing number of temporally versioned text collections is available today with Web archives being a prime example. Search on such collections, however, is often not satisfa...