Sciweavers

6014 search results - page 156 / 1203
» Structural Testing with Use Cases
Sort
View
135
Voted
RTSS
2003
IEEE
15 years 8 months ago
Experimental Evaluation of Code Properties for WCET Analysis
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
Antoine Colin, Stefan M. Petters
137
Voted
BMCBI
2010
98views more  BMCBI 2010»
15 years 3 months ago
Prediction of protein structural classes for low-homology sequences based on predicted secondary structure
Background: Prediction of protein structural classes (a, b, a + b and a/b) from amino acid sequences is of great importance, as it is beneficial to study protein function, regulat...
Jian-Yi Yang, Zhen-Ling Peng, Xin Chen
181
Voted
JAVACARD
2000
15 years 7 months ago
Automatic Test Generation for Java-Card Applets
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
Hugues Martin, Lydie du Bousquet
CAISE
2007
Springer
15 years 9 months ago
Assessing Feasibility of IT-Enabled Networked Value Constellations: A Case Study in the Electricity Sector
Innovative networked value constellations, such as Cisco or Dell, are often enabled by Information Technology (IT). The same holds for the Distributed Electricity Balancing Service...
Zsófia Derzsi, Jaap Gordijn, Koen Kok, Hans...
128
Voted
ENTCS
2002
79views more  ENTCS 2002»
15 years 3 months ago
Debugging and Testing Optimizers through Comparison Checking
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa