4287 search results - page 580 / 858 » Assessing Architectural Complexity |
169
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
185
click to vote
SEAAI
1998
Springer
15 years 11 months ago
1998
Springer
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...
167
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Given an n-degree polynomial f x over an arbitrary ring, the shift of f x by c is the operation which computes coefficients of the polynomial f x + c . In this paper we conside...
156
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
172
click to vote
HPCA
1996
IEEE
15 years 11 months ago
1996
IEEE
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded process...