1888 search results - page 142 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
197
click to vote
INFORMS
1998
15 years 6 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
194
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
151
click to vote
ICDCS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes an architecture that provides support for quality of service (QoS) specification and enforcement in heterogeneous distributed computing systems. The Quartz Qo...
191
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
146
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...