854 search results - page 26 / 171 » Addressing Dynamic Issues of Program Model Checking |
177
Voted
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
108
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
124
click to vote
OR
2010
Springer
15 years 17 days ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
101
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
161
click to vote
IS
2012
13 years 9 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...