4604 search results - page 161 / 921 » Concurrency in Synchronous Systems |
116
click to vote
COLCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Multi-way dataflow constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE systems, but satisfying multi-way dataflow cons...
150
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
136
click to vote
COORDINATION
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
142
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
117
click to vote
CONCURRENCY
2006
15 years 4 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...