Sciweavers

415 search results - page 60 / 83
» time 1994
Sort
View
ICCAD
1994
IEEE
105views Hardware» more  ICCAD 1994»
14 years 1 months ago
Register assignment through resource classification for ASIP microcode generation
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
Clifford Liem, Trevor C. May, Pierre G. Paulin
ICCAD
1994
IEEE
106views Hardware» more  ICCAD 1994»
14 years 1 months ago
On the NP-completeness of regular 2-D FPGA routing architectures and a novel solution
Several industrial FPGA routing architectures have been shown to have no efficient routing algorithms (unless P=NP) [3,4]. Here, we further investigate if the intractability of th...
Yu-Liang Wu, Douglas Chang
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
14 years 1 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
ICDCS
1994
IEEE
14 years 1 months ago
Scalable and Robust Internetwork Routing for Mobile Hosts
new addressmust be edited into various configurationfiles. Thispaper describes a new protocol for transparently routing packets to mobile hosts operating in a large internetwork. T...
David B. Johnson
ICPP
1994
IEEE
14 years 1 months ago
A New Approach to Scheduling Parallel Programs Using Task Duplication
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
Ishfaq Ahmad, Yu-Kwong Kwok