Sciweavers

345 search results - page 41 / 69
» An Interactive Self-Replicator Implemented in Hardware
Sort
View
96
Voted
ISCA
2012
IEEE
260views Hardware» more  ISCA 2012»
13 years 3 days ago
A case for exploiting subarray-level parallelism (SALP) in DRAM
Modern DRAMs have multiple banks to serve multiple memory requests in parallel. However, when two requests go to the same bank, they have to be served serially, exacerbating the h...
Yoongu Kim, Vivek Seshadri, Donghyuk Lee, Jamie Li...
CAV
2009
Springer
206views Hardware» more  CAV 2009»
15 years 10 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...
ISBI
2006
IEEE
15 years 10 months ago
Silhouette fusion of vascular and anatomical volume data
In this paper we present a novel method for the combined hybrid visualization of the cerebral blood vessels, segmented from a 3D rotational angiography dataset, and datasets conta...
Daniel Ruijters, Drazenko Babic, Bart M. ter Haar ...
CSCWD
2009
Springer
15 years 4 months ago
ETM Toolkit: A development tool based on Extended Topic Map
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
Lu Jiang, Jun Liu, Zhaohui Wu, Qinghua Zheng, Ya-n...
IWMM
2009
Springer
125views Hardware» more  IWMM 2009»
15 years 4 months ago
Precise garbage collection for C
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt