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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers