2520 search results - page 386 / 504 » Model-checking behavioral programs |
MT
1998
15 years 1 months ago
1998
Real-world natural language sentences are long and complex, and always contain unexpected grammatical constructions. It even includes noise and ungrammaticality. This paper descri...
106
click to vote
TIT
2002
15 years 1 months ago
2002
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...
155
click to vote
JSAC
2008
15 years 18 days ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
103
click to vote
RV
2010
Springer
15 years 16 days ago
2010
Springer
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...
128
Voted
MEMOCODE
2010
IEEE
15 years 1 days ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...