Sciweavers

814 search results - page 56 / 163
» Using Simulated Data in Support of Research on Regression An...
Sort
View
AUSAI
1997
Springer
14 years 26 days ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
CASES
2007
ACM
14 years 21 days ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
FTDCS
2003
IEEE
14 years 2 months ago
Autonomous Transaction Processing Using Data Dependency in Mobile Environments
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
IlYoung Chung, Bharat K. Bhargava, Malika Mahoui, ...
FPL
2007
Springer
124views Hardware» more  FPL 2007»
14 years 2 months ago
A Quantitative Prediction Model for Hardware/Software Partitioning
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
Roel Meeuws, Yana Yankova, Koen Bertels, Georgi Ga...
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
14 years 3 months ago
A Multipurpose Code Coverage Tool for Java
Most test coverage analyzers help in evaluating the effectiveness of testing by providing data on statement and branch coverage achieved during testing. If made available, the cov...
Raghu Lingampally, Atul Gupta, Pankaj Jalote