Sciweavers

1865 search results - page 208 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
164
Voted
FMCAD
2007
Springer
15 years 8 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
132
Voted
CODES
2008
IEEE
15 years 11 months ago
You can catch more bugs with transaction level honey
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
Miron Abramovici, Kees Goossens, Bart Vermeulen, J...
139
Voted
COOPIS
2003
IEEE
15 years 10 months ago
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
Gábor Nagypál, Boris Motik
SAFECOMP
2001
Springer
15 years 9 months ago
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
Mohamed Kaâniche, Yannick Le Guédart,...
126
Voted
CISST
2003
105views Hardware» more  CISST 2003»
15 years 6 months ago
Modality Conversion in Content Adaptation for Universal Multimedia Access
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
Truong Cong Thang, Yong Ju Jung, Yong Man Ro