Sciweavers

1453 search results - page 61 / 291
» State and history in operating systems
Sort
View
88
Voted
TC
2010
14 years 7 months ago
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha...
120
Voted
ENTCS
2007
135views more  ENTCS 2007»
15 years 13 days ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
173
Voted
AUTOMATICA
2011
14 years 7 months ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...
103
Voted
LCN
2002
IEEE
15 years 5 months ago
A New Location Management Strategy Based on User Mobility Pattern for Wireless Networks
For a wireless network to effectively deliver services to the mobile users, it must have an efficient way to track them. The location management fulfills this task through locat...
Wenchao Ma, Yuguang Fang
75
Voted
VLDB
2005
ACM
109views Database» more  VLDB 2005»
15 years 6 months ago
Parallel Execution of Test Runs for Database Application Systems
In a recent paper [8], it was shown how tests for database application systems can be executed efficiently. The challenge was to control the state of the database during testing ...
Florian Haftmann, Donald Kossmann, Eric Lo