883 search results - page 101 / 177 » The Semantics of Verilog Using Transition System Combinators |
193
Voted
SAMT
2007
Springer
16 years 8 days 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...
180
Voted
DAC
2008
ACM
16 years 7 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...
199
Voted
ICDE
2002
IEEE
15 years 11 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 ...
171
Voted
ESEC
1997
Springer
15 years 10 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...
186
Voted
SCP
2010
15 years 4 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...