175 search results - page 1 / 35 » Partially Ordered Runs: A Case Study |
ASM
2000
ASM
13 years 9 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
DAGSTUHL
2003
13 years 6 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
SAINT
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents a case study to effectively run a parallel branch and bound application on the Grid. The application discussed in this paper is a fine-grain application and is...
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
BMCBI
2008
13 years 4 months ago
2008
Background: Understanding how proteins fold is essential to our quest in discovering how life works at the molecular level. Current computation power enables researchers to produc...