Sciweavers

1998 search results - page 158 / 400
» A Hardware Implementation of PRAM and Its Performance Evalua...
Sort
View
ISCAS
2002
IEEE
80views Hardware» more  ISCAS 2002»
15 years 3 months ago
Power line communication front-ends based on ADSL technology
The practical implementation of communication over power lines (PLC) using an Asymmetric Digital Subscriber Line (ADSL) front-end is discussed. Both PLC and ADSL modems are based ...
J. Van den Keybus, B. Bolsens, Johan Driesen, Ronn...
ICCD
1997
IEEE
90views Hardware» more  ICCD 1997»
15 years 1 months ago
TITAC-2: An asynchronous 32-bit microprocessor based on Scalable-Delay-Insensitive model
Asynchronous design has a potential of solving many difficulties, such as clock skew and power consumption, which synchronous counterpart suffers with current and future VLSI tech...
Akihiro Takamura, Masashi Kuwako, Masashi Imai, Ta...
MICRO
1995
IEEE
108views Hardware» more  MICRO 1995»
15 years 1 months ago
SPAID: software prefetching in pointer- and call-intensive environments
Software prefetching, typically in the context of numericor loop-intensive benchmarks, has been proposed as one remedy for the performance bottleneck imposed on computer systems b...
Mikko H. Lipasti, William J. Schmidt, Steven R. Ku...
79
Voted
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 1 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
CAV
2012
Springer
236views Hardware» more  CAV 2012»
13 years 16 days ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang