2935 search results - page 454 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
152
click to vote
WCRE
2009
IEEE
16 years 23 days ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
146
click to vote
KBSE
2009
IEEE
16 years 23 days ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
183
click to vote
SOCO
2009
Springer
16 years 17 days ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
166
click to vote
CODES
2007
IEEE
16 years 11 days ago
2007
IEEE
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient schedulin...