4151 search results - page 546 / 831 » Language Driven System Design |
215
click to vote
EKAW
2004
Springer
16 years 19 days ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
158
click to vote
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
172
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
315
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
325
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...