1123 search results - page 33 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
140
Voted
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
The computational power and memory bandwidth of graphics processing units (GPUs) have turned them into attractive platforms for general-purpose applications. In this paper, we expl...
CONCUR
1990
Springer
15 years 6 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
105
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
116
click to vote
TIT
2008
15 years 2 months ago
2008
In the past few years, a certain number of authors have proposed analysis methods of the time series built from a long range dependence noise. One of these methods is the Detrended...
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
In this work, we demonstrate examples about uses of practical image processing techniques over a new interpretation of power quality event data. Power quality event data are 1D da...