1953 search results - page 221 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
91
Voted
FTDCS
2004
IEEE
15 years 1 months ago
2004
IEEE
Today most Internet services are pre-assigned to servers statically, hence preventing us from doing real-time sharing of a pool of servers across as group of services with dynamic...
70
Voted
ASPDAC
2005
ACM
15 years 5 days ago
2005
ACM
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...
TIP
2010
14 years 8 months ago
2010
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
114
click to vote
QEST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...