1855 search results - page 223 / 371 » Composing model programs for analysis |
125
click to vote
IFIP3
2003
15 years 4 months ago
2003
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
112
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
141
click to vote
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
137
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
129
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...