Sciweavers

1183 search results - page 105 / 237
» Efficient Wet Paper Codes
Sort
View
FM
2008
Springer
137views Formal Methods» more  FM 2008»
14 years 11 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
ESWS
2009
Springer
14 years 7 months ago
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
Jonas Tappolet, Abraham Bernstein
ISCAS
2005
IEEE
205views Hardware» more  ISCAS 2005»
15 years 3 months ago
Viewpoint switching in multiview video streaming
—In this paper, a novel coding scheme is proposed for switching viewpoint in multiview video streaming, which can switch freely and efficiently between any two adjacent views of ...
Xun Guo, Yan Lu, Wen Gao, Qingming Huang
VCIP
2000
134views Communications» more  VCIP 2000»
14 years 11 months ago
High-level syntax for H.26L: first results
This paper introduces some preliminary results of the standardization process of ITU-T's H.26L project. This forthcoming video coding standard will not only significantly imp...
Stephan Wenger
OSDI
2002
ACM
15 years 10 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...