Search Sciweavers | Sciweavers

31387 search results - page 220 / 6278

» Abstracting abstract machines

148

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

15 years 11 months ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

126

Voted

ICIP
2002
IEEE

102views Image Processing» more ICIP 2002»

H.26L/JVT coding network abstraction layer and IP-based transport

15 years 11 months ago

Download www.jos.org.cn

Thomas Stockhammer, Miska M. Hannuksela, Stephan W...

claim paper

Read More »

124

Voted

ISSS
2002
IEEE

111views Hardware» more ISSS 2002»

System-Level Abstraction Semantics

15 years 11 months ago

Download users.ece.utexas.edu

Daniel Gajski, Andreas Gerstlauer

claim paper

Read More »

136

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 11 months ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

141

click to vote

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers