10916 search results - page 349 / 2184 » On Constructive Connectives and Systems |
186
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
150
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
187
click to vote
ESOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
182
click to vote
ICPADS
2005
IEEE
16 years 14 days ago
2005
IEEE
This work deals with efficient barrier synchronization for wireless cluster computing where nodes communicate with each other wirelessly in one or multiple hops. Such a computing ...
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper considers networks consisting of integral input-to-state stable (iISS) subsystems and addresses the problem of verifying iISS property of a given network. First, we ...