Sciweavers

2681 search results - page 6 / 537
» Topics in asynchronous systems
Sort
View
AAAI
2004
13 years 8 months ago
Planning and Verification for Stochastic Processes with Asynchronous Events
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
Håkan L. S. Younes
APLAS
2010
ACM
13 years 4 months ago
Concurrency Can't Be Observed, Asynchronously
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giac...
CORR
2006
Springer
96views Education» more  CORR 2006»
13 years 7 months ago
The intersection and the union of the asynchronous systems
The asynchronous systems f are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u : R {0, ...
Serban E. Vlad
BMCBI
2006
127views more  BMCBI 2006»
13 years 7 months ago
Exploring supervised and unsupervised methods to detect topics in biomedical text
Background: Topic detection is a task that automatically identifies topics (e.g., "biochemistry" and "protein structure") in scientific articles based on infor...
Minsuk Lee, Weiqing Wang, Hong Yu
HPCC
2007
Springer
14 years 1 months ago
PARMI: A Publish/Subscribe Based Asynchronous RMI Framework for Cluster Computing
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
Heejin Son, Xiaolin Li