Sciweavers

564 search results - page 39 / 113
» Generating Test Data for Functions with Pointer Inputs
Sort
View
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
15 years 8 months ago
Region analysis and transformation for Java programs
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
Sigmund Cherem, Radu Rugina
WADS
1989
Springer
84views Algorithms» more  WADS 1989»
15 years 7 months ago
Skip Lists: A Probabilistic Alternative to Balanced Trees
rees can be used for representing abstract data types such as dictionaries and ordered lists. They work well when the elements are inserted in a random order. Some sequences of ope...
William Pugh
SFP
2003
15 years 4 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer
BMCBI
2006
174views more  BMCBI 2006»
15 years 3 months ago
Genome wide prediction of protein function via a generic knowledge discovery approach based on evidence integration
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...
Jianghui Xiong, Simon Rayner, Kunyi Luo, Yinghui L...
FPL
2001
Springer
87views Hardware» more  FPL 2001»
15 years 7 months ago
Parameterized Function Evaluation for FPGAs
This paper presents parameterized module-generators for pipelined function evaluation using lookup tables, adders, shifters and multipliers. We discuss trade-offs involved between...
Oskar Mencer, Nicolas Boullis, Wayne Luk, Henry St...