Sciweavers

1961 search results - page 5 / 393
» PicoDBMS: Validation and Experience
Sort
View
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
14 years 1 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
DATE
2004
IEEE
121views Hardware» more  DATE 2004»
14 years 15 days ago
Experiences during the Experimental Validation of the Time-Triggered Architecture
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
Sara Blanc, Joaquin Gracia, Pedro J. Gil
HICSS
2010
IEEE
155views Biometrics» more  HICSS 2010»
14 years 3 months ago
Experiences Validating the Access Policy Tool in Industrial Settings
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
David M. Nicol, William H. Sanders, Mouna Seri, Sa...
CLEF
2010
Springer
13 years 10 months ago
Validating Query Simulators: An Experiment Using Commercial Searches and Purchases
Abstract. We design and validate simulators for generating queries and relevance judgments for retrieval system evaluation. We develop a simulation framework that incorporates exis...
Bouke Huurnink, Katja Hofmann, Maarten de Rijke, M...
FLAIRS
2004
13 years 10 months ago
Using HCI Experiments to Validate Intelligent Multimedia Cue Generation
This paper presents a case study of our experience conducting HCI experiments to inform multimedia cue generation. We analyze the interrelated HCI and NLG issues that a complete m...
Nancy Green