Sciweavers

943 search results - page 107 / 189
» Simulation based deadlock analysis for system level designs
Sort
View
GLVLSI
2002
IEEE
108views VLSI» more  GLVLSI 2002»
14 years 1 months ago
Protected IP-core test generation
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
Alessandro Fin, Franco Fummi
ECRTS
2003
IEEE
14 years 2 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
HICSS
2007
IEEE
97views Biometrics» more  HICSS 2007»
14 years 3 months ago
Implementation-Oriented Secure Architectures
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman
KES
2004
Springer
14 years 2 months ago
FESMI: A Fuzzy Expert System for Diagnosis and Treatment of Male Impotence
In this paper, we present the design, implementation and evaluation of FESMI, a fuzzy expert system that deals with diagnosis and treatment of male impotence. The diagnosis process...
Constantinos Koutsojannis, Ioannis Hatzilygeroudis
AAAI
2008
13 years 11 months ago
Generating Application-Specific Benchmark Models for Complex Systems
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Jun Wang, Gregory M. Provan