3565 search results - page 551 / 713 » Modeling a system controller for timing analysis |
159
click to vote
ICWSM
2009
15 years 2 months ago
2009
Whether they are modeling bookmarking behavior in Flickr or cascades of failure in large networks, models of diffusion often start with the assumption that a few nodes start long ...
132
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
124
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
124
click to vote
HF
2002
15 years 4 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
135
click to vote
STACS
1997
Springer
15 years 8 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...