Sciweavers

249 search results - page 9 / 50
» Polymorphic Binding-Time Analysis
Sort
View
SNPD
2007
13 years 8 months ago
Parallel analysis of polymorphic viral code using automated deduction system
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
Ruo Ando
BMCBI
2008
76views more  BMCBI 2008»
13 years 7 months ago
Empirical Bayes analysis of single nucleotide polymorphisms
Background: An important goal of whole-genome studies concerned with single nucleotide polymorphisms (SNPs) is the identification of SNPs associated with a covariate of interest s...
Holger Schwender, Katja Ickstadt
ICFP
2010
ACM
13 years 8 months ago
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
Stefan Holdermans, Jurriaan Hage
ICSE
2003
IEEE-ACM
14 years 7 months ago
Fragment Class Analysis for Testing of Polymorphism in Java Software
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
DDECS
2007
IEEE
86views Hardware» more  DDECS 2007»
14 years 1 months ago
Design and Analysis of a New Self-Testing Adder which Utilizes Polymorphic Gates
— This paper describes a new self-testing 1-bit full adder. This circuit consists of three polymorphic NAND/NOR gates, two XOR gates and two inverters. The adder is able to detec...
Lukás Sekanina