850 search results - page 84 / 170 » Modeling synchronous systems in BIP |
112
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
107
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper studies the effect of heterogenous delays in networks of weakly pulse-coupled identical oscillators. We develop a new framework to study them by constructing a non-delay...
112
Voted
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an interactive workspace that integrates wiki collaboration in knowledge-building activities with face-to-face scenarios like brainstorming or problem solving sessions....
100
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
106
click to vote
ICPP
1995
IEEE
15 years 5 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...