Sciweavers

4190 search results - page 26 / 838
» The Cost of Design
Sort
View
DATE
2004
IEEE
134views Hardware» more  DATE 2004»
14 years 1 months ago
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Sto...
ACSAC
2000
IEEE
14 years 2 months ago
Calculating Costs for Quality of Security Service
This paper presents a Quality of Security Service (QoSS) costing framework and demonstration. A method for quantifying costs related to the security service and for storing and re...
E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvin...
CORR
2007
Springer
82views Education» more  CORR 2007»
13 years 9 months ago
Sorting and Selection with Random Costs
There is a growing body of work on sorting and selection in models other than the unit-cost comparison model. This work treats a natural stochastic variant of the problem where the...
Stanislav Angelov, Keshav Kunal, Andrew McGregor
ECML
2005
Springer
14 years 3 months ago
Simple Test Strategies for Cost-Sensitive Decision Trees
We study cost-sensitive learning of decision trees that incorporate both test costs and misclassification costs. In particular, we first propose a lazy decision tree learning that ...
Shengli Sheng, Charles X. Ling, Qiang Yang
ISCAS
2005
IEEE
161views Hardware» more  ISCAS 2005»
14 years 3 months ago
LMI-based neurocontroller for guaranteed cost control of uncertain time-delay systems
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...
Hiroaki Mukaidani, S. Sakaguchi, Toshio Tsuji