2407 search results - page 348 / 482 » A Tool for Abstraction in Model Checking |
145
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
177
click to vote
PPOPP
1990
ACM
15 years 10 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
156
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Several recent studies explored the use of unsupervised segmentation methods for segmenting thalamic nuclei from diffusion tensor images. These methods provide a plausibl...
264
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
167
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...