Sciweavers

2324 search results - page 180 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
127
Voted
TCAD
2008
114views more  TCAD 2008»
15 years 2 months ago
Test-Quality/Cost Optimization Using Output-Deviation-Based Reordering of Test Patterns
At-speed functional testing, delay testing, and n-detection test sets are being used today to detect deep submicrometer defects. However, the resulting test data volumes are too hi...
Zhanglei Wang, Krishnendu Chakrabarty
128
Voted
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
15 years 8 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
TOCS
2008
131views more  TOCS 2008»
15 years 2 months ago
A generic component model for building systems software
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
Geoff Coulson, Gordon S. Blair, Paul Grace, Fran&c...
125
Voted
CADE
2005
Springer
16 years 2 months ago
Privacy-Sensitive Information Flow with JML
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
Guillaume Dufay, Amy P. Felty, Stan Matwin
ICC
2007
IEEE
15 years 8 months ago
Large System Performance Evaluation of the DS/CDMA Relay Channel Using Linear Receivers
— This paper considers a relay communication system where cooperative diversity is achieved by spreading the relay transmissions using direct-sequence CDMA (DS/CDMA). We derive e...
David Gregoratti, Xavier Mestre