Search Sciweavers | Sciweavers

31387 search results - page 220 / 6278

» Abstracting abstract machines

161

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

16 years 6 days ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

137

click to vote

ICIP
2002
IEEE

102views Image Processing» more ICIP 2002»

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

16 years 6 days ago

Download www.jos.org.cn

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

claim paper

Read More »

141

click to vote

ISSS
2002
IEEE

111views Hardware» more ISSS 2002»

System-Level Abstraction Semantics

16 years 5 days ago

Download users.ece.utexas.edu

Daniel Gajski, Andreas Gerstlauer

claim paper

Read More »

148

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

16 years 5 days ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

154

Voted

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers