Sciweavers

287 search results - page 43 / 58
» Introducing parallelism and concurrency in the data structur...
Sort
View
TVLSI
2008
140views more  TVLSI 2008»
13 years 7 months ago
A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
Jorge Campos, Hussain Al-Asaad
IAJIT
2011
13 years 2 months ago
Novel robust multilevel 3D visualization technique for web based GIS
: Number of recent technologies take Geographic Information Systems to new levels of power and usability. One of the most promising technologies that empower Geographic Information...
Hatem Abdul-Kader, Mohamed Sherif
HPCN
1999
Springer
13 years 11 months ago
VisualExpresso: Generating a Virtual Reality Internet
Finding knowledge from vast quantities of data is a difficult task, made simpler by visually representing this information. The Internet can be considered a vast (global) database,...
David Cleary, Diarmuid O'Donoghue
IPPS
1998
IEEE
13 years 11 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
GCC
2005
Springer
14 years 28 days ago
Incorporating Data Movement into Grid Task Scheduling
Task Scheduling is a critical design issue of distributed computing. The emerging Grid computing infrastructure consists of heterogeneous resources in widely distributed autonomous...
Xiaoshan He, Xian-He Sun