278 search results - page 56 / 56 » Pure Pattern Calculus |
100
Voted
TCSV
2010
14 years 7 months ago
2010
Motion compensated prediction plays a vital role in achieving enormous video compression efficiency in advanced video coding standards. Most practical motion compensated prediction...
133
Voted
IPSN
2011
Springer
14 years 4 months ago
2011
Springer
Having access to accurate position information is a key requirement for many wireless sensor network applications. We present the design, implementation and evaluation of SpiderBa...
204
Voted
CONCUR
2011
Springer
14 years 28 days ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...