850 search results - page 52 / 170 » Modeling synchronous systems in BIP |
94
Voted
ENTCS
2007
15 years 16 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
96
Voted
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
76
Voted
ENTCS
2008
15 years 19 days ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
SBACPAD
2008
IEEE
15 years 7 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
115
Voted
CACM
2008
15 years 20 days ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...