Sciweavers

306 search results - page 40 / 62
» Parameterized matching with mismatches
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
12 years 11 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
ICDE
2007
IEEE
130views Database» more  ICDE 2007»
14 years 9 months ago
Semantic Data Management: Towards Querying Data with their Meaning
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
Lipyeow Lim, Haixun Wang, Min Wang
WWW
2008
ACM
14 years 8 months ago
Emergence of terminological conventions as an author-searcher coordination game
All information exchange on the Internet ? whether through full text, controlled vocabularies, ontologies, or other mechanisms ? ultimately requires that that an information provi...
David Bodoff, Sheizaf Rafaeli
ICCAD
2007
IEEE
101views Hardware» more  ICCAD 2007»
14 years 4 months ago
Analog placement with common centroid constraints
— In order to reduce parasitic mismatch in analog circuits, some groups of devices are required to share a common centroid while being placed. Devices are split into smaller ones...
Qiang Ma, Evangeline F. Y. Young, K. P. Pun
ICCAD
2006
IEEE
180views Hardware» more  ICCAD 2006»
14 years 4 months ago
A bitmask-based code compression technique for embedded systems
Embedded systems are constrained by the available memory. Code compression techniques address this issue by reducing the code size of application programs. Dictionary-based code c...
Seok-Won Seong, Prabhat Mishra