Sciweavers

287 search results - page 43 / 58
» Introducing parallelism and concurrency in the data structur...
Sort
View
TVLSI
2008
140views more  TVLSI 2008»
14 years 11 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
14 years 6 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
15 years 4 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
15 years 4 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
15 years 5 months 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