Sciweavers

265 search results - page 29 / 53
» A Semantic Framework for Test Coverage
Sort
View
81
Voted
VTS
2005
IEEE
84views Hardware» more  VTS 2005»
15 years 3 months ago
Resistive Bridge Fault Model Evolution from Conventional to Ultra Deep Submicron Technologies
We present three resistive bridging fault models valid for different CMOS technologies. The models are partitioned into a general framework (which is shared by all three models) a...
Ilia Polian, Sandip Kundu, Jean Marc Galliè...
WIESS
2000
14 years 11 months ago
HP Caliper: An Architecture for Performance Analysis Tools
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
Robert Hundt
ASPLOS
2011
ACM
14 years 1 months ago
Specifying and checking semantic atomicity for multithreaded programs
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
Jacob Burnim, George C. Necula, Koushik Sen
LREC
2008
118views Education» more  LREC 2008»
14 years 11 months ago
FATE: a FrameNet-Annotated Corpus for Textual Entailment
Several studies indicate that the level of predicate-argument structure is relevant for modeling prevalent phenomena in current textual entailment corpora. Although large resource...
Aljoscha Burchardt, Marco Pennacchiotti
ISM
2005
IEEE
212views Multimedia» more  ISM 2005»
15 years 3 months ago
Neural Network Based Framework For Goal Event Detection In Soccer Videos
In this paper, a neural network based framework for semantic event detection in soccer videos is proposed. The framework provides a robust solution for soccer goal event detection...
Kasun Wickramaratna, Min Chen, Shu-Ching Chen, Mei...