6147 search results - page 1004 / 1230 » Requirements, Architectures and Risks |
171
click to vote
AAAI
2010
15 years 8 months ago
2010
As computer architectures become increasingly complex, hand-tuning compiler heuristics becomes increasingly tedious and time consuming for compiler developers. This paper presents...
201
click to vote
CVHI
2007
15 years 8 months ago
2007
: Several web sites and e-learning platforms require the access to graphs that carry significant meanings. Understanding and perceiving the graph of a mathematical function is impo...
198
click to vote
LREC
2010
15 years 8 months ago
2010
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
195
click to vote
ERSA
2008
15 years 8 months ago
2008
Partial reconfiguration (PR) reveals many opportunities for integration into FPGA design for potential system optimizations such as reduced area, increased performance, and increa...
183
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...