Sciweavers

16725 search results - page 413 / 3345
» Engineering Software Correctness
Sort
View
100
Voted
APL
1999
ACM
15 years 9 months ago
Regions: an abstraction for expressing array computation
Bradford L. Chamberlain, E. Christopher Lewis, Cal...
110
Voted
CODES
1999
IEEE
15 years 9 months ago
A probabilistic performance metric for real-time system design
Tao Zhou, Xiaobo Sharon Hu, Edwin Hsing-Mean Sha
116
Voted
IUI
1999
ACM
15 years 9 months ago
Making Systems Sensitive to the User's Time and Working Memory Constraints
Anthony Jameson, Ralph Schäfer, Thomas Weis, ...