Sciweavers

52 search results - page 3 / 11
» Constructing and exploring composite items
Sort
View
CAV
2005
Springer
86views Hardware» more  CAV 2005»
14 years 3 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
DAC
2003
ACM
14 years 10 months ago
Optimizations for a simulator construction system supporting reusable components
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
David A. Penry, David I. August
ACMDIS
2000
ACM
14 years 2 months ago
Browsers with Changing Parts: A Catalog Explorer for Philip Glass' Website
The development of navigational tools for a web site devoted to a catalog of musical compositions offers a variety of design challenges. A combination of techniques developed from...
Harry Hochheiser
ACL
2009
13 years 7 months ago
Detecting Compositionality in Multi-Word Expressions
Identifying whether a multi-word expression (MWE) is compositional or not is important for numerous NLP applications. Sense induction can partition the context of MWEs into semant...
Ioannis Korkontzelos, Suresh Manandhar
IPPS
2002
IEEE
14 years 2 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders