4604 search results - page 167 / 921 » Concurrency in Synchronous Systems |
121
click to vote
ACL
2004
15 years 5 months ago
2004
Generalized Multitext Grammar (GMTG) is a synchronous grammar formalism that is weakly equivalent to Linear Context-Free Rewriting Systems (LCFRS), but retains much of the notatio...
148
click to vote
SC
1995
ACM
15 years 7 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
138
click to vote
JCS
2007
15 years 4 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
117
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...
147
click to vote
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
IP networks allow constructing versatile device configurations for multimedia streaming. However, the stochastic nature of the packet-switched data transmission may complicate IP-...