1980 search results - page 214 / 396 » Compositional Model Checking of Real Time Systems |
108
click to vote
FCCM
2002
IEEE
15 years 8 months ago
2002
IEEE
Speech recognition is a computationally demanding task, particularly the stage which uses Viterbi decoding for converting pre-processed speech data into words or sub-word units. W...
123
click to vote
FUIN
2006
15 years 3 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
120
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling...
125
click to vote
SIAMCO
2010
14 years 10 months ago
2010
We study a simple continuous-time multiagent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by e...
128
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...