Sciweavers

1075 search results - page 37 / 215
» On Singular Interval Systems
Sort
View
118
Voted
FM
2008
Springer
148views Formal Methods» more  FM 2008»
15 years 5 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
ACMMSP
2006
ACM
252views Hardware» more  ACMMSP 2006»
15 years 10 months ago
Deconstructing process isolation
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
Mark Aiken, Manuel Fähndrich, Chris Hawblitze...
124
Voted
BPSC
2009
152views Business» more  BPSC 2009»
15 years 5 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
181
Voted
HAIS
2011
Springer
14 years 7 months ago
Interval Type-2 Fuzzy Modelling and Simulated Annealing for Real-World Inventory Management
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
Simon Miller, Mario A. Góngora, Robert John
RTCSA
1999
IEEE
15 years 8 months ago
Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
Jan Lindström, Kimmo E. E. Raatikainen