2048 search results - page 322 / 410 » Intelligent search techniques for large software systems |
172
click to vote
WSC
1997
15 years 7 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
150
click to vote
UIST
2006
ACM
16 years 10 days ago
2006
ACM
Scrolling is used to navigate large information spaces on small screens, but is often too restrictive or cumbersome to use for particular types of content, such as multi-page, mul...
156
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
144
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It...
179
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...