2681 search results - page 37 / 537 » Topics in asynchronous systems |
160
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present our online summarization system of web topics. The user defines the topic by a set of keywords. Then the system searches the Web for the relevant documen...
191
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
162
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
185
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
183
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...