3724 search results - page 180 / 745 » Timed regular expressions |
141
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
151
click to vote
DAGM
2003
Springer
15 years 9 months ago
2003
Springer
We provide an overview of spline and wavelet techniques with an emphasis on applications in pattern recognition. The presentation is divided in three parts. In the first one, we ar...
146
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...
128
click to vote
FP
1989
15 years 8 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
163
click to vote
INFORMS
1998
15 years 4 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...