Sciweavers

31387 search results - page 370 / 6278
» Abstracts
Sort
View
OOPSLA
1995
Springer
15 years 10 months ago
How and Why to Encapsulate Class Trees
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
Dirk Riehle
FAST
2004
15 years 8 months ago
MEMS-based Storage Devices and Standard Disk Interfaces: A Square Peg in a Round Hole?
MEMS-based storage devices (MEMStores) are significantly different from both disk drives and semiconductor memories. The differences motivate the queswhether they need new abstrac...
Steven W. Schlosser, Gregory R. Ganger
JFP
2008
75views more  JFP 2008»
15 years 6 months ago
Exploiting reachability and cardinality in higher-order flow analysis
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
Matthew Might, Olin Shivers
CSFW
2012
IEEE
13 years 9 months ago
Secure Compilation to Modern Processors
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
Pieter Agten, Raoul Strackx, Bart Jacobs, Frank Pi...
CRYPTO
2009
Springer
99views Cryptology» more  CRYPTO 2009»
16 years 1 months ago
Cryptanalysis of C2
Abstract Julia Borghoff , Lars R. Knudsen, Gregor Leander, Krystian Matusiewicz Department of Mathematics Technical University of Denmark
Julia Borghoff, Lars R. Knudsen, Gregor Leander, K...