1855 search results - page 66 / 371 » Composing model programs for analysis |
163
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
150
Voted
TMI
2002
15 years 2 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
108
Voted
FTDCS
1997
IEEE
15 years 6 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
122
Voted
MSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
120
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...