Search Sciweavers | Sciweavers

31387 search results - page 186 / 6278

» Abstracts

116

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 12 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

151

Voted

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

15 years 12 months ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

132

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 12 months ago

Download www.jos.org.cn

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

claim paper

Read More »

133

Voted

ISSS
2002
IEEE

111views Hardware» more ISSS 2002»

System-Level Abstraction Semantics

15 years 12 months ago

Download users.ece.utexas.edu

Daniel Gajski, Andreas Gerstlauer

claim paper

Read More »

143

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers