3868 search results - page 173 / 774 » Open Systems in TLA |
178
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
The problem of absolute stability is one of the oldest open problems in the theory of control. Even for the particular case of second-order systems a complete solution was present...
199
click to vote
ISCC
2000
IEEE
15 years 11 months ago
2000
IEEE
With a changing structure of networks and application systems due to the requirements of decentralised enterprises and open service markets, distributed systems with rapidly incre...
274
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
197
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...
161
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...