Search Sciweavers | Sciweavers

956 search results - page 26 / 192

» Dimensions in program synthesis

click to vote

ITC
2000
IEEE

80views Hardware» more ITC 2000»

Test program synthesis for path delay faults in microprocessor cores

14 years 2 months ago

Download cadlab.ece.ucsb.edu

Wei-Cheng Lai, Angela Krstic, Kwang-Ting Cheng

claim paper

Read More »

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

14 years 2 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

click to vote

DAC
1997
ACM

80views Computer Architecture» more DAC 1997»

Profile-Driven Program Synthesis for Evaluation of System Power Dissipation

14 years 2 months ago

Download www.cse.iitd.ernet.in

Cheng-Ta Hsieh, Massoud Pedram, Gaurav Mehta, Fred...

claim paper

Read More »

click to vote

ICCAD
1994
IEEE

76views Hardware» more ICCAD 1994»

Integrating program transformations in the memory-based synthesis of image and video algorithms

14 years 2 months ago

Download www.cs.york.ac.uk

David J. Kolson, Alexandru Nicolau, Nikil D. Dutt

claim paper

Read More »

click to vote

ARCS
2006
Springer

102views Software Engineering» more ARCS 2006»

Controller Synthesis for Mapping Partitioned Programs on Array Architectures

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers