Sciweavers

2272 search results - page 43 / 455
» Validity Invariants and Effects
Sort
View
WWW
2006
ACM
14 years 8 months ago
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization
This paper describes an experimental system in which customized high performance XML parsers are prepared using parser generation and compilation techniques. Parsing is integrated...
Margaret Gaitatzes Kostoulas, Morris Matsa, Noah M...
POPL
2010
ACM
14 years 5 months ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
HICSS
2005
IEEE
159views Biometrics» more  HICSS 2005»
14 years 1 months ago
Knowledge Management Capability Assessment: Validating a Knowledge Assets Measurement Instrument
Measurement of organizational knowledge assets is necessary to determine the effectiveness of knowledge management initiatives. A Knowledge Management Capability Assessment instru...
Ron Freeze, Uday R. Kulkarni
ICML
1994
IEEE
13 years 11 months ago
Efficient Algorithms for Minimizing Cross Validation Error
Model selection is important in many areas of supervised learning. Given a dataset and a set of models for predicting with that dataset, we must choose the model which is expected...
Andrew W. Moore, Mary S. Lee
DAC
2009
ACM
14 years 8 months ago
Interconnection fabric design for tracing signals in post-silicon validation
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
Xiao Liu, Qiang Xu