Sciweavers

12438 search results - page 123 / 2488
» The Magic of a Number System
Sort
View
CORR
2010
Springer
76views Education» more  CORR 2010»
15 years 4 months ago
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
Abstract. We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are nor...
Jeroen Ketema, Jakob Grue Simonsen
IJES
2006
110views more  IJES 2006»
15 years 4 months ago
Partitioning bin-packing algorithms for distributed real-time systems
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
Dionisio de Niz, Raj Rajkumar
AUTOMATICA
2005
50views more  AUTOMATICA 2005»
15 years 4 months ago
Identification of piecewise affine systems based on statistical clustering technique
This paper is concerned with the identification of a class of piecewise affine systems called a piecewise affine autoregressive exogenous (PWARX) model. The PWARX model is compose...
Hayato Nakada, Kiyotsugu Takaba, Tohru Katayama
SIAMSC
2010
130views more  SIAMSC 2010»
15 years 2 months ago
First-Order System Least Squares for Incompressible Resistive Magnetohydrodynamics
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
COCOON
2005
Springer
15 years 10 months ago
Server Allocation Algorithms for Tiered Systems
Many web-based systems have a tiered application architecture, in which a request needs to transverse all the tiers before finishing its processing. One of the most important QoS...
Kamalika Chaudhuri, Anshul Kothari, Rudi Pendaving...