Sciweavers

4418 search results - page 652 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
ICDCS
2000
IEEE
15 years 11 months ago
Highly Concurrent Shared Storage
1 Switched system-area networks enable thousands of storage devices to be shared and directly accessed by end hosts, promising databases and filesystems highly scalable, reliable ...
Khalil Amiri, Garth A. Gibson, Richard A. Golding
CHI
2007
ACM
15 years 10 months ago
Aligning development tools with the way programmers think about code changes
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
Marat Boshernitsan, Susan L. Graham, Marti A. Hear...
CVPR
2009
IEEE
15 years 10 months ago
High-quality curvelet-based motion deblurring from an image pair
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
Jian-Feng Cai, Hui Ji, Chaoqiang Liu, Zuowei Shen
LCPC
1995
Springer
15 years 10 months ago
Piecewise Execution of Nested Data-Parallel Programs
Abstract. The technique of flattening nested data parallelism combines all the independent operations in nested apply-to-all constructs and generates large amounts of potential pa...
Daniel W. Palmer, Jan Prins, Siddhartha Chatterjee...
CCS
2008
ACM
15 years 8 months ago
On spatio-temporal constraints and inheritance in role-based access control
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
Liang Chen, Jason Crampton