2496 search results - page 399 / 500 » Error-detecting properties of languages |
197
Voted
CP
2009
Springer
16 years 2 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
121
click to vote
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
125
click to vote
CHI
2003
ACM
16 years 1 months ago
2003
ACM
This study examines the interaction effect between user factors and media factors on feelings of social presence which are critical in the design of virtual reality systems and hu...
101
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
119
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
This paper shows how to build and maintain a distributed heap which we call SHELL. In contrast to standard heaps, our heap is oblivious in the sense that its structure only depends...