2496 search results - page 316 / 500 » Error-detecting properties of languages |
141
click to vote
TSMC
2010
14 years 11 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
165
click to vote
AAAI
2012
13 years 7 months ago
2012
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...
168
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
258
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the b...
124
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...