Search Sciweavers | Sciweavers

31387 search results - page 186 / 6278

» Abstracts

109

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

142

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 »

123

click to vote

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

click to vote

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 »

134

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers