Sciweavers

36 search results - page 1 / 8
» isas 2007
Sort
View
ENTCS
2007
88views more  ENTCS 2007»
13 years 4 months ago
Mothers of Pipelines
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
Sava Krstic, Robert B. Jones, John O'Leary
JACIII
2007
74views more  JACIII 2007»
13 years 4 months ago
Mining Fuzzy Association Rules on Has-A and Is-A Hierarchical Structures
Been-Chian Chien, Ming-Huang Zhong, Jeng-Jung Wang
HIPEAC
2007
Springer
13 years 8 months ago
Customizing the Datapath and ISA of Soft VLIW Processors
In this paper, we examine the trade-offs in performance and area due to customizing the datapath and instruction set architecture of a soft VLIW processor implemented in a high-den...
Mazen A. R. Saghir, Mohamad El-Majzoub, Patrick Ak...
CMG
2000
13 years 5 months ago
Comparing CPU Performance Between and Within Processor Families
Our study compares CPU performance on RISC and CISC uni and multiprocessors of varying speeds, and shows that the Instruction Set Architecture (ISA) style no longer matters. Our s...
Lee A. Butler, Travis Atkison, Ethan L. Miller