883 search results - page 101 / 177 » The Semantics of Verilog Using Transition System Combinators |
143
click to vote
SAMT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
149
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
158
click to vote
ICDE
2002
IEEE
15 years 8 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...
130
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
138
click to vote
SCP
2010
15 years 1 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...