151 search results - page 4 / 31 » Methodology to Evaluate the Functionality of Specification L... |
137
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
150
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
134
click to vote
IWPT
2001
15 years 7 months ago
2001
This paper discusses the process of parsing adult utterances directed to a child, in an effort to produce a syntactically annotated corpus of the verbal input to a human language ...
156
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
The retrieval of similar documents in the Web from a given document is different in many aspects from information retrieval based on queries generated by regular search engine use...
184
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...