Sciweavers

2452 search results - page 107 / 491
» Future Technological Challenges for High Performance Compute...
Sort
View
ICPPW
2005
IEEE
16 years 10 hour ago
Gene Sequence Alignment on a Public Computing Platform
Public computing can potentially supply not only computational power but also memory and short term storage resources to grid and cluster scale problems. Gene sequence alignment i...
Stephen Pellicer, Nova Ahmed, Yi Pan, Yao Zheng
GPC
2008
Springer
15 years 7 months ago
A Semantic Service Matching Middleware for Mobile Devices Discovering Grid Services
The combination of mobile and Grid computing enables high performance Grid access through resource-limited mobile devices. Many challenges require to be addressed before vision of ...
Tao Guan, Ed Zaluska, David De Roure
PERCOM
2005
ACM
16 years 6 months ago
A Capability-Based Privacy-Preserving Scheme for Pervasive Computing Environments
Pervasive computing is a future technology that provides a user with the capability to compute and communicate from everywhere. In a pervasive computing environment, a user interac...
Divyan M. Konidala, Dang Nguyen Duc, Dongman Lee, ...
SIGOPSE
2000
ACM
15 years 10 months ago
A system architecture for pervasive computing
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while...
Robert Grimm, Thomas E. Anderson, Brian N. Bershad...
VLSID
2005
IEEE
127views VLSI» more  VLSID 2005»
15 years 12 months ago
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pa...