Sciweavers

2796 search results - page 332 / 560
» A time structure based software reliability model
Sort
View
155
Voted
CA
1999
IEEE
15 years 9 months ago
Virtual People: Capturing Human Models to Populate Virtual Worlds
In this paper a new technique is introduced for automatically building recognisable moving 3D models of individual people. Realistic modelling of people is essential for advanced ...
Adrian Hilton, Daniel Beresford, Thomas Gentils, R...
VLSID
2005
IEEE
167views VLSI» more  VLSID 2005»
16 years 5 months ago
A Methodology and Tooling Enabling Application Specific Processor Design
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
Andreas Hoffmann, Frank Fiedler, Achim Nohl, Suren...
142
Voted
ICSE
2010
IEEE-ACM
15 years 10 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit
153
Voted
IJCINI
2007
96views more  IJCINI 2007»
15 years 5 months ago
The Theoretical Framework of Cognitive Informatics
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
Yingxu Wang
FORTE
2004
15 years 6 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner