2520 search results - page 256 / 504 » Model-checking behavioral programs |
177
click to vote
ENTCS
2007
15 years 6 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
172
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Over the past few years, a quiet revolution has been redefining our fundamental computing technologies. Flexible E-Ink, OLED displays, shape-changing materials, parametric design,...
190
click to vote
ICA3PP
2005
Springer
16 years 4 days ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
213
click to vote
TMI
2002
15 years 6 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...
160
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...