Search Sciweavers | Sciweavers

37 search results - page 1 / 8

» dsd 2007

click to vote

DSD
2007
IEEE

91views Hardware» more DSD 2007»

Increasing NoC Performance and Utilisation using a Dual Packet Exit Strategy

14 years 1 months ago

Download web.it.kth.se

Mikael Millberg, Axel Jantsch

claim paper

Read More »

click to vote

DSD
2007
IEEE

110views Hardware» more DSD 2007»

Proving Completeness of Properties in Formal Verification of Counting Heads for Railways

14 years 1 months ago

Download www.informatik.uni-bremen.de

Sebastian Kinder, Rolf Drechsler

claim paper

Read More »

click to vote

DSD
2007
IEEE

96views Hardware» more DSD 2007»

Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties

14 years 1 months ago

Download www.memics.cz

Jaroslav Skarvada, Tomas Herrman, Zdenek Kot&aacut...

claim paper

Read More »

click to vote

DSD
2007
IEEE

75views Hardware» more DSD 2007»

Novel Agent-Based Management for Fault-Tolerance in Network-on-Chip

14 years 1 months ago

Download www.mpsoc-forum.org

Pekka Rantala, Jouni Isoaho, Hannu Tenhunen

claim paper

Read More »

click to vote

DSD
2007
IEEE

86views Hardware» more DSD 2007»

Toggle Equivalence Preserving (TEP) Logic Optimization

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers