Sciweavers

1529 search results - page 184 / 306
» On Timing Analysis of Combinational Circuits
Sort
View
LAWEB
2007
IEEE
14 years 2 months ago
Description and Prediction of Slashdot Activity
We perform a statistical analysis of user’s reaction time to a new discussion thread in online debates on the popular news site Slashdot. First, we show with KolmogorovSmirnov t...
Andreas Kaltenbrunner, Vicenç Gómez,...
PKDD
2004
Springer
102views Data Mining» more  PKDD 2004»
14 years 1 months ago
Improving the Performance of the RISE Algorithm
Ideally, a multi-strategy learning algorithm performs better than its component approaches. RISE is a multi-strategy algorithm that combines rule induction and instance-based learn...
Aloísio Carlos de Pina, Gerson Zaverucha
ENTCS
2002
139views more  ENTCS 2002»
13 years 8 months ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
13 years 3 months ago
Observer design for Lipschitz systems with discrete-time measurements
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...
Vincent Andrieu, Madiha Nadri
SACMAT
2009
ACM
14 years 2 months ago
Analysis of virtual machine system policies
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
Sandra Rueda, Hayawardh Vijayakumar, Trent Jaeger