1991 search results - page 228 / 399 » Using a Coding Standard to Improve Program Quality |
111
click to vote
ACL
2006
15 years 3 months ago
2006
We investigate prototype-driven learning for primarily unsupervised grammar induction. Prior knowledge is specified declaratively, by providing a few canonical examples of each ta...
127
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
170
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...
112
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
114
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
Large boolean matrices are a basic representational unit in a variety of applications, with some notable examples being interactive visualization systems, mining large graph struc...