Search Sciweavers | Sciweavers

3815 search results - page 27 / 763

» An Implementation of Session Types

click to vote

FPT
2005
IEEE

132views Hardware» more FPT 2005»

Implementation of Gabor-Type Filters on Field Programmable Gate Arrays

14 years 1 months ago

Download www.cse.cuhk.edu.hk

Although biological visual systems have been widely studied at the physiological, psychophysical and functional levels, our understanding of its signal processing mechanisms is st...

Ocean Y. H. Cheung, Philip Heng Wai Leong, Eric K....

claim paper

Read More »

click to vote

OOPSLA
2009
Springer

136views Security Privacy» more OOPSLA 2009»

Empirical assessment of object-oriented implementations with multiple inheritance and static typing

14 years 2 months ago

Download www.lirmm.fr

Roland Ducournau, Floréal Morandat, Jean Pr...

claim paper

Read More »

click to vote

CSFW
2008
IEEE

79views Security Privacy» more CSFW 2008»

Refinement Types for Secure Implementations

14 years 2 months ago

Download research.microsoft.com

Jesper Bengtson, Karthikeyan Bhargavan, Céd...

claim paper

Read More »

click to vote

ADAEUROPE
2005
Springer

112views Software Engineering» more ADAEUROPE 2005»

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

14 years 1 months ago

Download www.adacore.com

One of the most important object-oriented features of the

Javier Miranda, Edmond Schonberg, Gary Dismukes

claim paper

Read More »

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers