Sciweavers

147 search results - page 1 / 30
» Polymorphic Fractional Capabilities
Sort
View
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
14 years 5 months ago
Polymorphic Fractional Capabilities
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
Hirotoshi Yasuoka, Tachio Terauchi
IOLTS
2008
IEEE
91views Hardware» more  IOLTS 2008»
13 years 11 months ago
Physical Demonstration of Polymorphic Self-Checking Circuits
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
Richard Ruzicka, Lukás Sekanina, Roman Prok...
ISSRE
2002
IEEE
13 years 9 months ago
Fault Detection Capabilities of Coupling-based OO Testing
Object-oriented programs cause a shift in focus from software units to the way software classes and components are connected. Thus, we are finding that we need less emphasis on un...
Roger T. Alexander, Jeff Offutt, James M. Bieman
AOSD
2003
ACM
13 years 10 months ago
Aspects and polymorphism in AspectJ
There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...
Erik Ernst, David H. Lorenz
BMCBI
2006
102views more  BMCBI 2006»
13 years 4 months ago
Predicting population coverage of T-cell epitope-based diagnostics and vaccines
Background: T cells recognize a complex between a specific major histocompatibility complex (MHC) molecule and a particular pathogen-derived epitope. A given epitope will elicit a...
Huynh-Hoa Bui, John Sidney, Kenny Dinh, Scott Sout...