Sciweavers

7640 search results - page 576 / 1528
» Event Database Processing
Sort
View
SIGOPS
2010
162views more  SIGOPS 2010»
15 years 5 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
ISCAS
2006
IEEE
116views Hardware» more  ISCAS 2006»
16 years 1 months ago
An asynchronous delta-sigma converter implementation
— In this paper an architecture, signal reconstruction algorithm and first-ever implementation of an asynchronous delta-sigma converter are presented. The signal reconstruction ...
Dazhi Wei, Vaibhav Garg, John G. Harris
164
Voted
FDL
2005
IEEE
16 years 23 days ago
PSL-based online monitoring of digital systems
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
D. Borionne, M. Liu, P. Ostier, Laurent Fesquet
169
Voted
EPEW
2005
Springer
16 years 20 days ago
Timing Issues in Web Services Composition
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
Manuel Mazzara
MICAI
2009
Springer
15 years 11 months ago
Planning for Conditional Learning Routes
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...