4520 search results - page 173 / 904 » Algebraic Techniques for Timed Systems |
182
click to vote
IMC
2003
ACM
16 years 10 days ago
2003
ACM
We measured and analyzed the variability in round trip times (RTTs) within TCP connections using passive measurement techniques. We collected eight hours of bidirectional traces c...
202
click to vote
FUIN
2007
15 years 7 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...
196
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Camera-based character recognition systems should have the capability of quick operation and recognizing perspectively distorted texts in a complex layout. In this paper, in order...
192
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Network-on-chip-based multiprocessor systems-onchip are considered as future embedded systems platforms. One of the steps in mapping an application onto such a parallel p...
197
click to vote
IDEAL
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents new services for intelligent monitoring and visualising user accesses to a university's web site. These are based on the use of data mining techniques to p...