Sciweavers

747 search results - page 33 / 150
» Testing for tunneling opens
Sort
View
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 7 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
VTS
2000
IEEE
108views Hardware» more  VTS 2000»
14 years 1 months ago
Cold Delay Defect Screening
Delay defects can escape detection during the normal production test flow, particularly if they do not affect any of the long paths included in the test flow. Some defect types ca...
Chao-Wen Tseng, Edward J. McCluskey, Xiaoping Shao...
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
SIGUCCS
2000
ACM
14 years 1 months ago
Linux and Open Source in the Academic Enterprise
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...
Mike Davis, Will O'Donovan, John Fritz, Carlisle C...
RV
2007
Springer
151views Hardware» more  RV 2007»
14 years 2 months ago
Instrumentation of Open-Source Software for Intrusion Detection
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
William R. Mahoney, William L. Sousan