2108 search results - page 295 / 422 » An Operational Semantics for Stateflow |
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
127
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
119
click to vote
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
133
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
MPI defines one-sided communication operations—put, get, and accumulate—together with three different synchronization mechanisms that define the semantics associated with th...
146
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...