Sciweavers

819 search results - page 35 / 164
» Acknowledgements
Sort
View
DATE
2004
IEEE
174views Hardware» more  DATE 2004»
14 years 15 days ago
Graph-Based Functional Test Program Generation for Pipelined Processors
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
Prabhat Mishra, Nikil Dutt
ICPADS
1998
IEEE
14 years 11 days ago
Fault Tolerant All-to-All Broadcast in General Interconnection Networks
With respect to scalability and arbitrary topologies of the underlying networks in multiprogramming and multithread environment, fault tolerance in acknowledged ATAB and concurren...
Yuzhong Sun, Paul Y. S. Cheung, Xiaola Lin, Keqin ...
PPOPP
1995
ACM
14 years 9 days ago
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We prese...
Rajesh Bordawekar, Alok N. Choudhary, Ken Kennedy,...
CAISE
2008
Springer
13 years 10 months ago
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
Although requirements analysis is acknowledged as a critical success factor of information system development for organizations, problems related to the requirements stage are freq...
José Luis de la Vara, Juan Sánchez, ...
ACMSE
2006
ACM
13 years 10 months ago
Composing aggregate web services in BPEL
Web services are increasingly being used to expose applications over the Internet. These Web services are being integrated within and across enterprises to create higher function ...
Onyeka Ezenwoye, Seyed Masoud Sadjadi