1761 search results - page 51 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Nanowire crossbar is one of the most promising circuit solutions for nanoelectronics. We show nanowire crossbars do not scale well in terms of logic density and speed. We conseque...
DOCENG
2009
ACM
13 years 6 months ago
2009
ACM
In this paper, we evaluate different geometric consistency schemes, which can be used in tandem with an efficient architecture, based on voting and local descriptors, to retrieve ...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
MTV
2003
IEEE
14 years 2 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...