Sciweavers

2452 search results - page 50 / 491
» On Reduction of Lagrange Systems
Sort
View
APCSAC
2006
IEEE
15 years 3 months ago
A Context-Switch Reduction Heuristic for Power-Aware Off-Line Scheduling
Abstract. Scheduling algorithms significantly affect the performance of a realtime system. In systems with power constraints, context switches in a schedule result in wasted power ...
Biju K. Raveendran, Sundar Balasubramaniam, K. Dur...
FM
2009
Springer
134views Formal Methods» more  FM 2009»
14 years 7 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu
ICCBR
2003
Springer
15 years 3 months ago
Unifying Weighting and Case Reduction Methods Based on Rough Sets to Improve Retrieval
Case-Based Reasoning systems usually retrieve cases using a similarity function based on K-NN or some derivatives. These functions are sensitive to irrelevant or noisy features. We...
Maria Salamó, Elisabet Golobardes
BIRTHDAY
2007
Springer
15 years 4 months ago
Reduction Strategies and Acyclicity
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
Jan Willem Klop, Vincent van Oostrom, Femke van Ra...
ICCCN
2007
IEEE
15 years 4 months ago
A Novel Signal Reconstruction Algorithm for Perception Based Data Reduction in Haptic Signal Communication
The performance and immersiveness of telepresence and teleaction systems critically depend on the quality of the communication between the operator and the teleoperator. High pack...
Julius Kammerl, Peter Hinterseer, Eckehard G. Stei...