Sciweavers

3879 search results - page 216 / 776
» PyPBS design and methodologies
Sort
View
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
16 years 5 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
127
Voted
ISVLSI
2006
IEEE
82views VLSI» more  ISVLSI 2006»
15 years 11 months ago
Reliability-Aware SOC Voltage Islands Partition and Floorplan
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...
Shengqi Yang, Wayne Wolf, Narayanan Vijaykrishnan,...
141
Voted
FPL
2005
Springer
130views Hardware» more  FPL 2005»
15 years 10 months ago
Communication Synthesis in a multiprocessor environment
At Leiden University, we are developing a design methodology that allows for fast mapping of nested-loop applications (e.g. DSP, Imaging, or MultiMedia) written in a subset of Matl...
Claudiu Zissulescu, Bart Kienhuis, Ed F. Depretter...
119
Voted
ECBS
1997
IEEE
103views Hardware» more  ECBS 1997»
15 years 9 months ago
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
J. S. Keane, Jerzy W. Rozenblit, Michael Barnes
DAC
1996
ACM
15 years 9 months ago
RTL Emulation: The Next Leap in System Verification
ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...
Sanjay Sawant, Paul Giordano