2496 search results - page 67 / 500 » Error-detecting properties of languages |
110
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we initiate the study of testing properties of hypergraphs. The goal of property testing is to distinguish between the case whether a given object has a certain prope...
84
Voted
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
128
click to vote
RE
2010
Springer
14 years 7 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
105
Voted
AICCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
169
click to vote
TMC
2012
13 years 3 months ago
2012
—This article1 presents the design of a networked system for joint compression, rate control and error correction of video over resource-constrained embedded devices based on the...