7099 search results - page 350 / 1420 » Context for models of concurrency |
190
click to vote
DCC
2006
IEEE
16 years 7 months ago
2006
IEEE
We describe a low-complexity scheme for lossless compression of short text messages. The method uses arithmetic coding and a specific statistical context model for prediction of s...
206
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
229
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
209
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
200
click to vote
TACAS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...