850 search results - page 74 / 170 » Modeling synchronous systems in BIP |
159
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
157
click to vote
LORI
2009
Springer
16 years 25 days ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
166
click to vote
IWPC
2007
IEEE
16 years 17 days ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
183
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...