Sciweavers

2796 search results - page 87 / 560
» A time structure based software reliability model
Sort
View
CGI
2006
IEEE
14 years 25 days ago
Rendering Optical Effects Based on Spectra Representation in Complex Scenes
Rendering the structural color of natural objects or modern industrial products in the 3D environment is not possible with RGBbased graphics platforms and software and very time co...
Weiming Dong
DEXAW
2009
IEEE
129views Database» more  DEXAW 2009»
14 years 3 months ago
Pattern-Based Approach for Logical Traffic Isolation Forensic Modelling
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
Innocentia Dlamini, Martin Olivier, Sihle Sibiya
BMCBI
2011
13 years 4 months ago
A comparison and user-based evaluation of models of textual information structure in the context of cancer risk assessment
Background: Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the ...
Yufan Guo, Anna Korhonen, Maria Liakata, Ilona Sil...
DAC
2007
ACM
14 years 10 months ago
Accurate Waveform Modeling using Singular Value Decomposition with Applications to Timing Analysis
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...
Anand Ramalingam, Ashish Kumar Singh, Sani R. Nass...
CODES
2008
IEEE
13 years 11 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner