2520 search results - page 386 / 504 » Model-checking behavioral programs |
MT
1998
13 years 10 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...
TIT
2002
13 years 10 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 ...
JSAC
2008
13 years 8 months 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...
RV
2010
Springer
13 years 8 months 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...
MEMOCODE
2010
IEEE
13 years 8 months 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...