Real-Time Sysems and Limiing Even Sreams: A General Model
|
|
- Barry Lewis
- 3 years ago
- Views:
Transcription
1 Limiing Even Sreams: A General Model o Describe Dependencies in Disribued Hard Real-Time Sysems Seffen Kollmann, Karsen Albers and Frank Slomka Ulm Universiy Insiue of Embedded Sysems/Real-Time Sysems {firsname.lasname}@uni-ulm.de Inernal Repor Absrac This paper inroduces a common approach o describe dependencies in disribued hard real-ime sysems. Taking dependencies ino accoun will improve schedulabiliy analysis. Thereby, we idenify a new kind of dependency no considered in relaed work. The new model can be also applied o differen kinds of dependencies including ask offses allowing an absrac and generalized analysis. Finally, we show how his approach leads o igher bounds of his analysis. 1. Inroducion Requiremens of embedded sysems increase from generaion o generaion. A car, for example, ges more sofware funcionaliy in each generaion which resuls in more complex embedded sysems. New cars have up o 70 ECUs conneced by several busses. Mos funcions have real-ime consrains such as he engine managemen sysem and he ABS-sysem. For a wide accepance of real-ime analysis by indusrial sofware developers igh bounds o he real wors-case response imes of asks are imporan. A successful approach is he consideraion of dependencies of chained ask-ses. Previous work considers differen kinds of dependencies. Muual exclusion of asks, offses beween ask simulaion, ask chains or asks compeing for he same resource are some examples for such dependencies. Bu he inegraion of many oher ypes of dependencies are sill open. Especially, missing is a holisic model for dependencies as new absracion layer. The idea is o separae he calculaion and he concree ype of dependencies from he remaining real-ime analysis. In oher words he calculaion of he dependencies is orhogonal o he real-ime analysis. This paper presens a new holisic model o inegrae differen ypes of dependencies in real-ime analysis. We show how his general model can be inegraed ino he schedulabiliiy analysis of fixed-prioriy sysems. We also ouline he calculaion of wo oally differen kinds of dependencies in order o show he flexibiliy. This paper is organized as follows: In chaper 2 an overview of he relaed work is given. Chaper 3 describes he problem which will be explored. The model is defined in chaper 4. Chaper 5 defines he limiing even sream model and how i can be used o describe dependencies. The resuling real-ime analysis is presened in chaper 6. A case sudy in chaper 7 shows he significance of our approach. The work closes wih he conclusion. 2. Relaed Work Mos considered relaed work uses he periodic even model wih jier. The analysis for disribued sysems was inroduced by Tindell and Clark [15]. In his holisic schedulabiliy approach, asks are considered as independen and so for each ask he wors-case response ime is calculaed separaely. This idea has been improved by he ransacion model [14] which allows he describion of saic offses beween asks. Guierrez e al. [4] exended his work o dynamic offses so ha he offse can vary from one job of a ask o anoher. Furhermore hey inroduced an idea abou muual exclusion of asks [5] which is based on offses beween asks. Since Guierrez e al. have considered simple ask chains, Redell has enhanced he
2 idea o ree-shaped dependencies [13] and Pellizoni e al. applied he ransacion model o earlies deadline firs scheduling in [12]. Henia e al. used he SymTA/S approach o exended he idea of he ransacion model in order o inroduce iming-correlaions beween asks in parallel pahs in disribued sysems [6]. This idea has hen been improved in [7]. Furhermore in [8] i has been shown ha maximum inpu jier and wors-case response ime mus no occur during he same job leading o a relaxaion of he response imes in a sysem. A scalable and modular approach o analyse realime sysems is he real-ime calculus (RTC) as described by Wandeler in [16]. Using he RTC i is no possible o describe dependencies like offses, muual exclusion of asks or compeing-based dependencies. Because of he lack of generaliy or exacness he RTC and he SymTA/S approach are merged in [10]. In his paper he auhors do no consider ypes of dependencies like muual exclusion of asks or compeingbased dependencies. A furher dependency considering he simulaneous occurrence of evens is considered by Kollmann e al. in [9]. In his paper he dependency is direcly included ino he real-ime analysis and no calculaed separaely as in his paper. 3. Conribuion In figure 1 a ypical disribued sysem is depiced. The sysem consiss of wo CPUs and one BUS. We assume fixed prioriy scheduling on each resource. The sysem has eigh asks execued on he processors and he bus. The prioriies are assigned as described in he figure. The simulaion of he asks is represened by even sreams Θ. Θ A - Θ 1 Θ B Θ C τ 1 prioriy=high τ 2 prioriy=middle τ 3 prioriy=low offse based dependency Θ D Θ E Θ F τ 4 prioriy=high τ 5 prioriy=low Θ G Θ H - Θ 2 τ 6 prioriy=low τ 7 prioriy=middle Θ τ K 8 prioriy=high CPU1 BUS1 CPU2 compeing based dependency Figure 1. Example of a disribued sysem having several differen dependencies In order o analyse he sysem from figure 1 i is necessary o calculae he wors-case response ime for Θ I Θ J each ask. The common way o do his is o assume ha all asks and even sreams describing he simulaion in a sysem are independen. This means ha evens can occur during a wors-case response ime analysis in heir maximal densiy, because he conex of he sysem is no considered. The resul of a real-ime analysis is ha he inerference beween asks is always maximal and leads o very pessimisic resuls. To ge igher response ime bounds, we inroduce wo kinds of dependencies: The firs dependency is he compeing based dependency describing he siuaion ha asks execued by he same componen compee for his componen. Such a compeiion has he effec ha cerain evens can no occur in he same densiy when he asks are assumed no o be independen as i is he case. For example, Θ G and Θ H in figure 1. The second one is an offse based dependency describing ha evens from differen even sreams mus occur ime-shifed o each oher. Consider, for example, he even sreams Θ B and Θ C in figure 1. I is assumed ha a correlaion beween he even sreams exiss. This has a direc impac on he successive asks and even sreams shown in [13]. The purpose of inroducing his dependency is o show he generaliy of our approach. These wo inroduced dependencies lead o igher bounds for he real-ime analysis, I is desirable o include boh dependencies ino i. In previous work no holisic model as general approach o describe dependencies beween asks is exising. 4. Task and Even Model In his secion we inroduce he model necessary for he real-ime analysis discussed in secion 6. Task Model: Γ is a se of asks on one resource Γ = {τ 1,...,τ n }. A ask is a 4-uple wih τ = (c +,c,φ,θ). c + is he wors-case execuion ime, c is he bes-case execuion ime, φ is he prioriy for he scheduling (he lower he number he higher he prioriy) and Θ defines he simulaion of he ask by an even sream. Le τ i j be he j-h job/execuion of ask τ i. We assume ha each job of a ask generaes an even a he end of is execuion o noify oher asks. Even Sream Model: The even sream model gives an efficien general noaion for he even bound funcion. Definiion 1: ([1],[2],[3]) The even bound funcion η(, Θ) gives for every inerval an upper bound on he number of evens occurring from he even sream Θ in any inerval of he lengh. So we can se up he following lemma:
3 Lemma 1: ([3]) The even bound funcion is a subaddiive funcion, ha means for each inerval, : η( +,Θ) η(,θ) + η(,θ) (1) Proof: η(,θ), η(,θ) reurn he maximum number of evens possible wihin any or. The evens in + have o occur eiher in or in. Therefore he condiion holds. Definiion 2: An even sream Θ is a se of even elemens θ. Each even elemen is given by a period p and an offse a (θ = (p,a)). In cases where he wors-case densiy of evens is unknown for a concree sysem an upper bound of he densiies can be used o describe he even sream. I is possible o model any even sequence. Only hose even sequences for which he condiion of subaddiiviy holds are valid even sreams. Corollary 1: ([3]) The even bound funcion for an even sequence Θ and an inerval is given by: η(,θ) = θ Θ a θ aθ p θ (2) As he inverse funcion we define he following inerval funcion which gives o a number of evens and an even sream he minimum inerval in which hese evens can occur: Corollary 2: ([3]) The inerval funcion for a number of evens and a Θ is given by: + (n,θ) = min{ η(,θ) = n} (3) Some examples of even sreams can be found in [1]. 5. Limiing Even Sreams wih Dependencies To exend he previous discussed model of embedded real-ime sysems we will inroduce he limiing even sreams in his secion. Definiion 3: The limiing even sream is an even sream which defines he maximum occurrence of evens for a se of even sreams. The limiing even sream is defined as Θ = (Θ, Θ). Θ describes he limiing even sream and Θ represens he se of even sreams for which he limiing even sream holds. The limiing even sream fulfills he condiion: η(,θ) η(,θ i ) Θ i Θ Example 1: If no correlaions beween even sreams are defined hen Θ = ( Θi Θ Θ i, Θ). Example 2: Figure 1 gives an example for a limiing even sream. Assume Θ B = Θ C = {(20,0)} and an offse of 10.u. beween hese wo even sreams. The cumulaed occurrence of evens can be described by he limiing even sream: Θ = ({(20,0),(20,10)},{Θ B,Θ C }). If we consider he even sreams as independen we ge wo evens in an inerval = 5. Bu he limiing even sream describes how many cumulaed evens can occur in an inerval. Wih his dependency we ge only one even in he inerval = 5. Nex we define how a limiing even sream can be calculaed. Definiion 4: Le β : n be a limiing inerval funcion which assigns a minimal ime inerval from a given number of evens in dependency from a given relaionship of even sreams Θ := {Θ 1,...,Θ n }, hen a limiing even sream Θ can be deermined by: Θ := ν( Θ, β(n)) Noe ha ν( Θ, β(n)) and β(n) are absrac formulaions which mus be concreely formulaed for he differen ypes of dependencies Compeing Based Dependencies In his secion we inroduce a new kind of dependency. We call i compeing based dependency. In figure 1 his kind of dependency beween asks is exemplarily depiced. The asks τ 4 and τ 5 are execued by he same resource. Which means ha hey compee for he resource. In relaed work during he analysis of he asks τ 4 or τ 5 he ougoing even sreams Θ G and Θ H are considered independenly, for example in [15]. 1) 2) τ 4 τ 5 τ 4 τ 5 4,x 4,x c- 4,x+1 c - +1 Δ 1 c - 4,x+1 Δ' 1 - c +1 Improvemen ' Figure 2. Example of a limiing even sream describing a compeing dependency Le us consider he gan-diagrams in figure 2. Arrows above he ime line represen incoming evens. Arrows under he ime line represen evens generaed by he ask. In par one of he gan-char he case is considered of non compeing asks. The firs jobs of he asks are scheduled in he way ha he wo ougoing evens can occur almos simulaneously. The
4 nex evens are produced as soon as possible afer he firs even of he firs job. In he independen case he nex wo evens can occur also simulaneously. Bu his is no possible, since he jobs mus be execued ask afer ask, because τ 4 and τ 5 are execued by he same processor. This is depiced in he lower gan-char which describes he correc occurrence of he evens. Because of he ask inerference i is no sufficien o consider he ougoing even sreams independenly from each oher. This inerference can be modeled by a limiing even sream. As figure 2 illusraes wo cumulaed ougoing evens can be generaed simulaneously. This is based on he fac ha he ask wih he higher prioriy inerrups he second ask jus before i finishes. The resul is ha he wo evens occur almos simulaneously. This can also be applied on n asks wih he resul ha n evens can occur simulaneously. For one ask we can conclude ha a leas (n 1) c execuion demands mus be execued in order o generae n evens. To calculae he limiing even sream we have o deermine he minimal disance beween n evens by formulaing he limiing inerval funcion for compeing based dependencies. Lemma 2: Le Γ R be a subse of m asks sharing he same processor and N = {(n 1,...,n m ) : m i=1 = n} he se of disribuions of n evens, where each ask τ i Γ R produces n i evens, hen he limiing inerval funcion is given by: ( β(n)= min max (n 1,...,nm) N ( max i=1,...,m ( + (n i,θτ i )), ( m i=1 (n i 1) c τ i ))) (4) Proof: Assume ha n evens can occur in a smaller disance han in he assumpion. This would mean ha one of he combinaions of he minimum resuls in a shorer disance. Consequenly, he inerval funcion + (n i,θ τi ) or he sum m i=1 (n i 1) c τ i delivers a shorer disance. Assume ha he inerval funcion + (n i,θ τi ) delivers a shorer disance and herefore he evens occur in a shorer disance han in he even sream definiion. Bu his is a conradicion according o he even sream definiion. Therefore he sum over he bes-case execuion imes mus occur in a shorer disance. This can only occur when one of he considered execuion imes is smaller han he one from he assumpion which is a conradicion since we already assume he bes-case execuion imes for all asks. We inroduce an algorihm using lemma 2 which delivers for n evens he minimum inerval in which hey occur. The algorihm in figure 3 can be used in conjuncion wih he mehods inroduced in [9] o implemen his funcion. In his paper a normalisaion for even sreams is inroduced in order o calculae he + (n,θ) efficienly. 1 β ( n ) { 2 n i N ; 3 e old = ; 4 f o r ( ( N n i = n) ) { 5 = max{ + (Θτ i,n i )} 6 e = 0 ; 7 f o r ( τ i τ i Γ R ) { 8 e = e + (n i 1) c τ i ; } 9 e old = min( e old,max( e, )) ; } 10 reurn e old ; } Figure 3. Calculaion of he inervals of limiing even sreams for compeing asks The ouer loop ieraes over all combinaions considered by he minimal operaion of lemma 2 (line 4 o 10). Line 5 considers all inervals of each even sream as i is done by max( + (n i,θ τi )) of lemma 2. The inner loop (line 7 o 9) calculaes he minimal disance produced by he bes-case execuion imes like m i=1 (n i 1) c τ i of lemma 2. Finally, he minimum of all inervals is deermined and he minimal inerval in which n cumulaed evens can occur is reurned (line 10). As menioned above o calculae he concree even sreams via ν( Θ, β(n)) we refer o [9] Offse Based Dependencies In order o show he generaliy of our new approach we adap he problem abou offses inroduced in he ransacion model by [12]. We will only consider saic offses beween ask simulaion as an example, however his approach covers also dynamic offses. Lemma 3: For wo sric periodic asks τ 1 and τ 2 wih an offse a we only have o calculae he minimum disance a beween evens of τ 1 and τ 2. This minimum disance is calculaed by a = min(mod(a,x),mod( a,x)) using he greaes common divisor x = gcd(p τ1, p τ2 ) of he periods of he asks. Leading o he limiing inerval funcion: β(n)=min( + (n,{(p τ1,0),(p τ2,a )}), + (n,{(p τ1,a ),(p τ2,0)})) (5) Proof: For a deailed explanaion see [12]. Now we can direcly se up he even sream via ν( Θ, β(n)): In he case of mod(a,x) mod( a,x) he limiing even sream is Θ = ({(p τ1,0),(p τ2,a )},{Θ τ1,θ τ2 }). In he case of mod( a,x) < mod(a,x) he limiing even sream is
5 Θ = ({(p τ1,a ),(p τ2,0)},{θ τ1,θ τ2 }). For more han wo asks he approach represened in [12] can be adaped o calculae he limiing inerval funcions. 6. Real-Time Analysis wih Limiing Even Sreams In order o use he limiing even sreams i is necessary o adap he new concep o he real-ime analysis, especially he wors-case response ime analysis. We have o deermine how grea he wors-case conribuion of asks in an inerval is when limiing even sreams are considered. Lemma 4: The maximal conribuion of asks in an inerval occurs when he ask wih he maximum wors-case execuion occurs as much as possible, hen he ask wih he second greaes execuion ime as much as possible up o he ask wih he smalles worscase execuion ime unil he limiing even sreams prohibis he occurrence of furher evens. Proof: Assume ha here is anoher disribuion han he one given by he assumpion. Therefore, i mus exis a leas one even which does no follow he paern in he assumpion. In order o increase he conribuion of he asks, he even mus rigger a ask whose wors-case execuion ime is greaer han assumed. Bu his is a conradicion, since we already assume for all asks wih greaer wors-case execuion imes he maximum number of invocaions. The response ime analysis was inroduced by Lehoczky e al. [11] and is defined as follows: Definiion 5: If he condiion τ Γ : r + (τ) d τ holds, he ask se is feasible and he real-ime analysis is successful. The wors-case response ime of a ask considering even sreams can be calculaed by: r + (τ)=max k N {r+ (k,τ) + (k,θ τ ) r + (k 1,τ)> + (k,θ τ )} c + τ k=0 r + (k,τ)= min{ =k c + τ + τ HP η(,θ τ ) c + τ } k 1 (6) } {{ } calchpsaic The amoun of execuions produced by higher prioriy asks can be calculaed by he even bound funcion muliplied by he wors-case execuion ime. By means of a fixed-poin ieraion he wors-case response ime can be calculaed for every job k. To ake he limiing even sreams ino accoun lemma 4 is used. To implemen τ HP η(,θ τ ) c + τ he algorihm in figure 4 was developed. The res of equaion 6 is unmodified. The algorihm has as parameers he inerval which is considered, k he job number of he ask 1 / / The i n e r v a l which i s c o n s i d e r e d 2 / / k Number o f c a l l s o f τ 3 / / τ The a s k under a n a l y s i s 4 / / Θ all A l l n e c e s s a r y l i m i i n g e v e n s r e a m s 5 / / Γ HP S e o f τ : φ τ > φ τ 6 c a l c H P S a i c (,k,τ,θ all,γ HP ) { 7 e = 0; 8 s o r ( Γ HP ) ; / / i j : c τi c τ j ; 9 10 ( Θ Θ all ) : η[θ] = η(,θ Θ ) ; ( Θ Θ all Θ τ Θ Θ ) : η[θ] = η[θ] k ; 11 f o r ( τ j Γ HP ) { 12 n = η(,θ τ j ) ; 13 m = min ( η[θ] Θ τ j Θ Θ ) ; 14 e = e + min ( n,m) c + τ j ; 15 f o r ( ( Θ Θ all Θ τ j Θ Θ ) { 16 η[θ] = η[θ] min ( n,m) ; } } 17 reurn e ; } Figure 4. Calculaion of he conribuion of higher prioriy asks for he wors-case response ime wih limiing even sreams under analysis, τ he ask which is explored, Θ all he se of he necessary limiing even sreams and Γ HP conaining all asks having a higher prioriy han τ. The algorihm sors he asks by heir wors-case execuion imes (line 8) and sores for every limiing even sream he maximum amoun of evens which his sream allows wihin (line 9). The number of invocaions of he ask under analysis τ mus be subraced from he corresponding limiing even sreams (line 10). In a loop (line 11 o 16) all higher prioriy asks are considered. The ask wih he greaes wors-case execuion ime is considered firs according o lemma 4. The algorihm deermines he maximum amoun of invocaions for he ask by he even sream of he ask (line 12) and he bound of he even sream if one exiss (line 13). The minimum of hese are used o calculae he maximum conribuion of he ask wihin (line 14). The second loop (line 15 o 16) reduces he corresponding limiing even sreams by he used evens (line 16). Therefore he loops disribue he amoun of evens of he limiing even sreams over he asks according o lemma 4. This leads o he worscase conribuion of higher prioriy asks wihin. Noe, ha he complexiy of he response ime analysis is sill pseudo-polynominial. The complexiy o calculae he limiing even sreams depends on he kind of he dependency which is considered. To calculae he problem of compeing-based dependencies can become challenging, because of is combinaorial complexiy. The analysis, however, is no affeced by his problem. So i is suggesive o find upper bounds for he limiing even sreams o improve he runime performance.
6 7. Case Sudy The significance of his new approach is shown by he following case sudy. The sysem o explore is depiced in figure 1 and described in chaper 3. Table 1 gives he parameers for he sysem and able 2 he even sreams. We have chosen his sysem, because i is easy o follow and i shows he new mehodology in he whole. CPU 1 τ 1 τ 2 τ 3 c c φ Θ Θ A Θ B Θ C CPU 2 τ 6 τ 7 τ 8 c c φ Θ Θ D Θ G Θ H BUS 1 τ 4 τ 5 c c φ 1 2 Θ Θ E Θ F Table 1. Parameers of he disribued sysem which is depiced in figure 1 To calculae he even sreams of he sysem, we use he approach given in [9]. The resuling even sreams in he sysem are shown in he able 2. Thereby, we compare he even sreams calculaed wih dependencies versus ones wihou dependencies. A saic offse of 100.u. beween he even sreams Θ B and Θ C is assumed. Θ wih dependencies wihou dependencies Θ A {(100,0)} {(100,0)} Θ B {(200,0)} {(200,0)} Θ C {(200,0)} {(200,0)} Θ D {(,0),(100,90)} {(,0),(100,90)} Θ E {(,0),(200,150)} {(,0),(200,150)} Θ F {(,0),(200,140)} {(,0),(200,70)} Θ G {(,0),(200,100)} {(,0),(200,100)} Θ H {(,0),(,80),(,160),(200,310)} {(,0),(,80),(,160),(,240),(200,370)} Θ I {(,0),(,30),(,60),(100,130)} {(,0),(,30),(,60),(,90),(100,165)} Θ J {(,0),(200,55)} {(,0),(200,55)} Θ K {(,0),(,70),(,150),(200,300)} {(,0),(,70),(,150),(,130),(200,360)} Table 2. All even sreams of he disribued sysem. The resuls are compued wih as well as wihou he approach. To deermine he ougoing even sreams wih dependencies i is necessary o calculae he limiing even sreams of he sysem. We consider only wo limiing even sreams Θ 1 and Θ 2. Θ 1 describes he offse beween Θ B and Θ C. Θ 2 describes he compeing based dependency beween Θ G and Θ H. Θ Θ Θ Θ 1 {(200,0),(200,100)} {Θ B,Θ C } Θ 2 {(,0),(,0),(,80),(,130),(,210),(200,300),(200,310)} {Θ G,Θ H } Table 3. Resuls of he calculaed limiing even sreams Afer calculaing he even sreams, we have a closer look on he improvemens in he analysis of he sysem. A firs, some even sreams and he improvemen of he densiy in he sysem are considered. This is depiced in able 4 and figure 5. n Θ F Θ F imp. Θ H Θ H Imp. Θ I Θ I imp % 0 0 0% 0 0 0% % % % ,58% % % ,96% ,5% ,7% ,45% ,45% ,26% ,44% ,71% ,69% ,14% ,38% ,11% ,22% ,61% ,26% ,54% ,68% ,31% ,02% ,27% ,9% Table 4. This shows he improvemen of he approach on he even sreams Θ F,Θ H and Θ I. Θ shows he inervals wih he dependency, Θ shows he inervals wihou he dependency, improvemen is given in % Reducion of Densiy [%] #Evens ΘF ΘH ΘI Figure 5. This figure shows he improvemens of he inervals in percen of he even sream Θ F,Θ H and Θ I. The dependencies have no only an influence on he densiy of he even sreams, bu also a direc influence on he wors-case response imes. The worscase response ime of he ask τ 3 has been reduced from 150.u. o 80.u. This means ha he resul of he analysis wih dependencies is in his case 46,66% igher compared o he analysis wihou dependencies. The ask τ 6 has a wors-case response ime wihou dependencies of 255.u. and wih dependencies of 205.u., which is a reducion of he wors-case response ime of 19,6%. This synheical example shows ha dependencies can improve he real-ime analysis. Thereby we have
7 shown how easy differen dependencies can be combined in a general approach. 8. Conclusion We have shown he possibilily o achieve a holisic model for ask dependencies in disribued real-ime sysems. The new approach has been applied o fixedprioriy sysems. We have shown by wo kinds of dependencies how hese can be described by he new defined limiing even sreams. Thereby, a new kind of dependency has been inroduced. Wih he effec, ha we have cu he complexiy of he dependencies from he real-ime analysis. Finally, a case sudy has been conduced o show he improvemens of he approach. Despie he example is synheical, i has been shown ha our concep works for differen kinds of dependencies. In he fuure we will show how more kinds of dependencies can be inegraed by his new model and how he limiing even sreams can be propagaed hrough he sysem. Furhermore, he inegraion of he limiing even sreams ino approximaive realime analysis like he real-ime calculus [16] or he hierarchical even sreams [1] o improve he runime performance is also an aim. References [1] Karsen Albers, Frank Bodmann, and Frank Slomka. Hierarchical even sreams and even dependency graphs: A new compuaional model for embedded real-ime sysems. In ECRTS 06: Proceedings of he 18h Euromicro Conference on Real-Time Sysems, pages , Washingon, DC, USA, IEEE Compuer Sociey. [2] Karsen Albers and Frank Slomka. An even sream driven approximaion for he analysis of real- ime sysems. In ECRTS 04: Proceedings of he 16h Euromicro Conference on Real-Time Sysems, pages IEEE, July [3] Klaus Gresser. An even model for deadline verificaion of hard real-ime sysems. In Proceedings of he 5h Euromicro Workshop on Real-Time Sysems, [4] J. C. Palencia Guierrez and Michael Gonzalez Harbour. Schedulabiliy analysis for asks wih saic and dynamic offses. In RTSS, page 26 ff, [5] J. C. Palencia Guierrez and Michael Gonzalez Harbour. Exploiing precedence relaions in he schedulabiliy analysis of disribued real-ime sysems. In IEEE Real-Time Sysems Symposium, pages , [6] Rafik Henia and Rolf Erns. Conex-aware scheduling analysis of disribued sysems wih ree-shaped askdependencies. In DATE 05: Proceedings of he conference on Design, Auomaion and Tes in Europe, pages , Washingon, DC, USA, IEEE Compuer Sociey. [7] Rafik Henia and Rolf Erns. Improved offse-analysis using muliple iming-references. In DATE 06: Proceedings of he conference on Design, auomaion and es in Europe, pages , 3001 Leuven, Belgium, Belgium, European Design and Auomaion Associaion. [8] Rafik Henia, Razvan Racu, and Rolf Erns. Improved oupu jier calculaion for composiional performance analysis of disribued sysems. In Proceedings Workshop on Parallel and Disribued Real-Time Sysems, March [9] Seffen Kollmann, Karsen Albers, and Frank Slomka. Effecs of simulaneous simulaion on he even sream densiies of fixed-prioriy sysems. In Specs 08: Proceedings of he Inernaional Simulaion Muli-Conference. IEEE, June [10] Simon Kuenzli, Arne Hamann, Rolf Erns, and Lohar Thiele. Combined approach o sysem level performance analysis of embedded sysems. In CODES+ISSS 07: Proceedings of he 5h IEEE/ACM inernaional conference on Hardware/- sofware codesign and sysem synhesis, pages 63 68, New York, NY, USA, ACM. [11] John P Lehoczky. Fixed prioriy scheduling of periodic ask ses wih arbirary deadlines. In Proceedings of he 11h IEEE Real-Time Sysems Symposium, pages , December [12] Rodolfo Pellizzoni and Giuseppe Lipari. Improved schedulabiliy analysis of real-ime ransacions wih earlies deadline scheduling. In RTAS 05: Proceedings of he 11h IEEE Real Time on Embedded Technology and Applicaions Symposium, pages 66 75, Washingon, DC, USA, IEEE Compuer Sociey. [13] Ola Redell. Analysis of ree-shaped ransacions in disribued real-ime sysems. In ECRTS 04: Proceedings of he 16h Euromicro Conference on Real-Time Sysems (ECRTS 04), pages , Washingon, DC, USA, IEEE Compuer Sociey. [14] Ken Tindell. Adding ime-offses o schedulabiliy analysis. Technical repor, Universiy of York, Compuer Science Dep, YCS , [15] Ken Tindell and John Clark. Holisic schedulabiliy analysis for disribued hard real-ime sysems. Microprocessing and Microprogramming, 40: , April [16] Erneso Wandeler. Modular Performance Analysis and Inerface-Based Design for Embedded Real-Time Sysems. PhD hesis, ETH Zurich, Sepember 2006.
Multiprocessor Systems-on-Chips
Par of: Muliprocessor Sysems-on-Chips Edied by: Ahmed Amine Jerraya and Wayne Wolf Morgan Kaufmann Publishers, 2005 2 Modeling Shared Resources Conex swiching implies overhead. On a processing elemen,
More informationTask is a schedulable entity, i.e., a thread
Real-Time Scheduling Sysem Model Task is a schedulable eniy, i.e., a hread Time consrains of periodic ask T: - s: saring poin - e: processing ime of T - d: deadline of T - p: period of T Periodic ask T
More informationChapter 7. Response of First-Order RL and RC Circuits
Chaper 7. esponse of Firs-Order L and C Circuis 7.1. The Naural esponse of an L Circui 7.2. The Naural esponse of an C Circui 7.3. The ep esponse of L and C Circuis 7.4. A General oluion for ep and Naural
More informationPerformance Analysis of Greedy Shapers in Real-Time Systems
Performance Analysis of Greedy Shapers in Real-Time Sysems Erneso Wandeler Alexander Maxiaguine Lohar Thiele Compuer Engineering and Neworks Laboraory Swiss Federal Insiue of Technology (ETH) 9 Zürich,
More informationThe Application of Multi Shifts and Break Windows in Employees Scheduling
The Applicaion of Muli Shifs and Brea Windows in Employees Scheduling Evy Herowai Indusrial Engineering Deparmen, Universiy of Surabaya, Indonesia Absrac. One mehod for increasing company s performance
More informationSingle-machine Scheduling with Periodic Maintenance and both Preemptive and. Non-preemptive jobs in Remanufacturing System 1
Absrac number: 05-0407 Single-machine Scheduling wih Periodic Mainenance and boh Preempive and Non-preempive jobs in Remanufacuring Sysem Liu Biyu hen Weida (School of Economics and Managemen Souheas Universiy
More informationPROFIT TEST MODELLING IN LIFE ASSURANCE USING SPREADSHEETS PART ONE
Profi Tes Modelling in Life Assurance Using Spreadshees PROFIT TEST MODELLING IN LIFE ASSURANCE USING SPREADSHEETS PART ONE Erik Alm Peer Millingon 2004 Profi Tes Modelling in Life Assurance Using Spreadshees
More information11/6/2013. Chapter 14: Dynamic AD-AS. Introduction. Introduction. Keeping track of time. The model s elements
Inroducion Chaper 14: Dynamic D-S dynamic model of aggregae and aggregae supply gives us more insigh ino how he economy works in he shor run. I is a simplified version of a DSGE model, used in cuing-edge
More informationCointegration: The Engle and Granger approach
Coinegraion: The Engle and Granger approach Inroducion Generally one would find mos of he economic variables o be non-saionary I(1) variables. Hence, any equilibrium heories ha involve hese variables require
More informationMTH6121 Introduction to Mathematical Finance Lesson 5
26 MTH6121 Inroducion o Mahemaical Finance Lesson 5 Conens 2.3 Brownian moion wih drif........................... 27 2.4 Geomeric Brownian moion........................... 28 2.5 Convergence of random
More informationTechnical Report. Resource Sharing Under a Server-based Semi- Partitioned Scheduling Approach. Alexandre Esper Eduardo Tovar
Technical Repor Resource Sharing Under a Server-based Semi- Pariioned Scheduling Approach Alexandre Esper Eduardo Tovar CISTER-TR-4008 0-08-04 Technical Repor CISTER-TR-4008 Resource Sharing Under a Server-based
More informationConstant Data Length Retrieval for Video Servers with Variable Bit Rate Streams
IEEE Inernaional Conference on Mulimedia Compuing & Sysems, June 17-3, 1996, in Hiroshima, Japan, p. 151-155 Consan Lengh Rerieval for Video Servers wih Variable Bi Rae Sreams Erns Biersack, Frédéric Thiesse,
More informationReal-time Particle Filters
Real-ime Paricle Filers Cody Kwok Dieer Fox Marina Meilă Dep. of Compuer Science & Engineering, Dep. of Saisics Universiy of Washingon Seale, WA 9895 ckwok,fox @cs.washingon.edu, mmp@sa.washingon.edu Absrac
More informationDistributing Human Resources among Software Development Projects 1
Disribuing Human Resources among Sofware Developmen Proecs Macario Polo, María Dolores Maeos, Mario Piaini and rancisco Ruiz Summary This paper presens a mehod for esimaing he disribuion of human resources
More informationMortality Variance of the Present Value (PV) of Future Annuity Payments
Morali Variance of he Presen Value (PV) of Fuure Annui Pamens Frank Y. Kang, Ph.D. Research Anals a Frank Russell Compan Absrac The variance of he presen value of fuure annui pamens plas an imporan role
More informationA Note on Using the Svensson procedure to estimate the risk free rate in corporate valuation
A Noe on Using he Svensson procedure o esimae he risk free rae in corporae valuaion By Sven Arnold, Alexander Lahmann and Bernhard Schwezler Ocober 2011 1. The risk free ineres rae in corporae valuaion
More informationStrategic Optimization of a Transportation Distribution Network
Sraegic Opimizaion of a Transporaion Disribuion Nework K. John Sophabmixay, Sco J. Mason, Manuel D. Rossei Deparmen of Indusrial Engineering Universiy of Arkansas 4207 Bell Engineering Cener Fayeeville,
More informationDifferential Equations. Solving for Impulse Response. Linear systems are often described using differential equations.
Differenial Equaions Linear sysems are ofen described using differenial equaions. For example: d 2 y d 2 + 5dy + 6y f() d where f() is he inpu o he sysem and y() is he oupu. We know how o solve for y given
More informationCapacitors and inductors
Capaciors and inducors We coninue wih our analysis of linear circuis by inroducing wo new passive and linear elemens: he capacior and he inducor. All he mehods developed so far for he analysis of linear
More informationAppendix A: Area. 1 Find the radius of a circle that has circumference 12 inches.
Appendi A: Area worked-ou s o Odd-Numbered Eercises Do no read hese worked-ou s before aemping o do he eercises ourself. Oherwise ou ma mimic he echniques shown here wihou undersanding he ideas. Bes wa
More informationThe Torsion of Thin, Open Sections
EM 424: Torsion of hin secions 26 The Torsion of Thin, Open Secions The resuls we obained for he orsion of a hin recangle can also be used be used, wih some qualificaions, for oher hin open secions such
More informationAnalysis of Pricing and Efficiency Control Strategy between Internet Retailer and Conventional Retailer
Recen Advances in Business Managemen and Markeing Analysis of Pricing and Efficiency Conrol Sraegy beween Inerne Reailer and Convenional Reailer HYUG RAE CHO 1, SUG MOO BAE and JOG HU PARK 3 Deparmen of
More information4. International Parity Conditions
4. Inernaional ariy ondiions 4.1 urchasing ower ariy he urchasing ower ariy ( heory is one of he early heories of exchange rae deerminaion. his heory is based on he concep ha he demand for a counry's currency
More informationSignal Rectification
9/3/25 Signal Recificaion.doc / Signal Recificaion n imporan applicaion of juncion diodes is signal recificaion. here are wo ypes of signal recifiers, half-wae and fullwae. Le s firs consider he ideal
More informationAP Calculus AB 2013 Scoring Guidelines
AP Calculus AB 1 Scoring Guidelines The College Board The College Board is a mission-driven no-for-profi organizaion ha connecs sudens o college success and opporuniy. Founded in 19, he College Board was
More informationMarket Liquidity and the Impacts of the Computerized Trading System: Evidence from the Stock Exchange of Thailand
36 Invesmen Managemen and Financial Innovaions, 4/4 Marke Liquidiy and he Impacs of he Compuerized Trading Sysem: Evidence from he Sock Exchange of Thailand Sorasar Sukcharoensin 1, Pariyada Srisopisawa,
More informationOption Put-Call Parity Relations When the Underlying Security Pays Dividends
Inernaional Journal of Business and conomics, 26, Vol. 5, No. 3, 225-23 Opion Pu-all Pariy Relaions When he Underlying Securiy Pays Dividends Weiyu Guo Deparmen of Finance, Universiy of Nebraska Omaha,
More informationDuration and Convexity ( ) 20 = Bond B has a maturity of 5 years and also has a required rate of return of 10%. Its price is $613.
Graduae School of Business Adminisraion Universiy of Virginia UVA-F-38 Duraion and Convexiy he price of a bond is a funcion of he promised paymens and he marke required rae of reurn. Since he promised
More informationIndividual Health Insurance April 30, 2008 Pages 167-170
Individual Healh Insurance April 30, 2008 Pages 167-170 We have received feedback ha his secion of he e is confusing because some of he defined noaion is inconsisen wih comparable life insurance reserve
More informationChapter 8: Regression with Lagged Explanatory Variables
Chaper 8: Regression wih Lagged Explanaory Variables Time series daa: Y for =1,..,T End goal: Regression model relaing a dependen variable o explanaory variables. Wih ime series new issues arise: 1. One
More informationWATER MIST FIRE PROTECTION RELIABILITY ANALYSIS
WATER MIST FIRE PROTECTION RELIABILITY ANALYSIS Shuzhen Xu Research Risk and Reliabiliy Area FM Global Norwood, Massachuses 262, USA David Fuller Engineering Sandards FM Global Norwood, Massachuses 262,
More informationDETERMINISTIC INVENTORY MODEL FOR ITEMS WITH TIME VARYING DEMAND, WEIBULL DISTRIBUTION DETERIORATION AND SHORTAGES KUN-SHAN WU
Yugoslav Journal of Operaions Research 2 (22), Number, 6-7 DEERMINISIC INVENORY MODEL FOR IEMS WIH IME VARYING DEMAND, WEIBULL DISRIBUION DEERIORAION AND SHORAGES KUN-SHAN WU Deparmen of Bussines Adminisraion
More informationEfficient One-time Signature Schemes for Stream Authentication *
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 611-64 (006) Efficien One-ime Signaure Schemes for Sream Auhenicaion * YONGSU PARK AND YOOKUN CHO + College of Informaion and Communicaions Hanyang Universiy
More informationJournal Of Business & Economics Research September 2005 Volume 3, Number 9
Opion Pricing And Mone Carlo Simulaions George M. Jabbour, (Email: jabbour@gwu.edu), George Washingon Universiy Yi-Kang Liu, (yikang@gwu.edu), George Washingon Universiy ABSTRACT The advanage of Mone Carlo
More informationII.1. Debt reduction and fiscal multipliers. dbt da dpbal da dg. bal
Quarerly Repor on he Euro Area 3/202 II.. Deb reducion and fiscal mulipliers The deerioraion of public finances in he firs years of he crisis has led mos Member Saes o adop sizeable consolidaion packages.
More informationChapter 2 Kinematics in One Dimension
Chaper Kinemaics in One Dimension Chaper DESCRIBING MOTION:KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings moe how far (disance and displacemen), how fas (speed and elociy), and how
More informationTEMPORAL PATTERN IDENTIFICATION OF TIME SERIES DATA USING PATTERN WAVELETS AND GENETIC ALGORITHMS
TEMPORAL PATTERN IDENTIFICATION OF TIME SERIES DATA USING PATTERN WAVELETS AND GENETIC ALGORITHMS RICHARD J. POVINELLI AND XIN FENG Deparmen of Elecrical and Compuer Engineering Marquee Universiy, P.O.
More informationA Re-examination of the Joint Mortality Functions
Norh merican cuarial Journal Volume 6, Number 1, p.166-170 (2002) Re-eaminaion of he Join Morali Funcions bsrac. Heekung Youn, rkad Shemakin, Edwin Herman Universi of S. Thomas, Sain Paul, MN, US Morali
More information4 Convolution. Recommended Problems. x2[n] 1 2[n]
4 Convoluion Recommended Problems P4.1 This problem is a simple example of he use of superposiion. Suppose ha a discree-ime linear sysem has oupus y[n] for he given inpus x[n] as shown in Figure P4.1-1.
More informationForecasting and Information Sharing in Supply Chains Under Quasi-ARMA Demand
Forecasing and Informaion Sharing in Supply Chains Under Quasi-ARMA Demand Avi Giloni, Clifford Hurvich, Sridhar Seshadri July 9, 2009 Absrac In his paper, we revisi he problem of demand propagaion in
More informationcooking trajectory boiling water B (t) microwave 0 2 4 6 8 101214161820 time t (mins)
Alligaor egg wih calculus We have a large alligaor egg jus ou of he fridge (1 ) which we need o hea o 9. Now here are wo accepable mehods for heaing alligaor eggs, one is o immerse hem in boiling waer
More informationAcceleration Lab Teacher s Guide
Acceleraion Lab Teacher s Guide Objecives:. Use graphs of disance vs. ime and velociy vs. ime o find acceleraion of a oy car.. Observe he relaionship beween he angle of an inclined plane and he acceleraion
More informationA Probability Density Function for Google s stocks
A Probabiliy Densiy Funcion for Google s socks V.Dorobanu Physics Deparmen, Poliehnica Universiy of Timisoara, Romania Absrac. I is an approach o inroduce he Fokker Planck equaion as an ineresing naural
More informationChapter 1.6 Financial Management
Chaper 1.6 Financial Managemen Par I: Objecive ype quesions and answers 1. Simple pay back period is equal o: a) Raio of Firs cos/ne yearly savings b) Raio of Annual gross cash flow/capial cos n c) = (1
More informationMSCI Index Calculation Methodology
Index Mehodology MSCI Index Calculaion Mehodology Index Calculaion Mehodology for he MSCI Equiy Indices Index Mehodology MSCI Index Calculaion Mehodology Conens Conens... 2 Inroducion... 5 MSCI Equiy Indices...
More informationInductance and Transient Circuits
Chaper H Inducance and Transien Circuis Blinn College - Physics 2426 - Terry Honan As a consequence of Faraday's law a changing curren hrough one coil induces an EMF in anoher coil; his is known as muual
More informationAP Calculus BC 2010 Scoring Guidelines
AP Calculus BC Scoring Guidelines The College Board The College Board is a no-for-profi membership associaion whose mission is o connec sudens o college success and opporuniy. Founded in, he College Board
More informationModule 4. Single-phase AC circuits. Version 2 EE IIT, Kharagpur
Module 4 Single-phase A circuis ersion EE T, Kharagpur esson 5 Soluion of urren in A Series and Parallel ircuis ersion EE T, Kharagpur n he las lesson, wo poins were described:. How o solve for he impedance,
More informationARCH 2013.1 Proceedings
Aricle from: ARCH 213.1 Proceedings Augus 1-4, 212 Ghislain Leveille, Emmanuel Hamel A renewal model for medical malpracice Ghislain Léveillé École d acuaria Universié Laval, Québec, Canada 47h ARC Conference
More informationStatistical Analysis with Little s Law. Supplementary Material: More on the Call Center Data. by Song-Hee Kim and Ward Whitt
Saisical Analysis wih Lile s Law Supplemenary Maerial: More on he Call Cener Daa by Song-Hee Kim and Ward Whi Deparmen of Indusrial Engineering and Operaions Research Columbia Universiy, New York, NY 17-99
More informationLECTURE: SOCIAL SECURITY HILARY HOYNES UC DAVIS EC230 OUTLINE OF LECTURE:
LECTURE: SOCIAL SECURITY HILARY HOYNES UC DAVIS EC230 OUTLINE OF LECTURE: 1. Inroducion and definiions 2. Insiuional Deails in Social Securiy 3. Social Securiy and Redisribuion 4. Jusificaion for Governmen
More informationStability. Coefficients may change over time. Evolution of the economy Policy changes
Sabiliy Coefficiens may change over ime Evoluion of he economy Policy changes Time Varying Parameers y = α + x β + Coefficiens depend on he ime period If he coefficiens vary randomly and are unpredicable,
More informationChapter 6 Interest Rates and Bond Valuation
Chaper 6 Ineres Raes and Bond Valuaion Definiion and Descripion of Bonds Long-erm deb-loosely, bonds wih a mauriy of one year or more Shor-erm deb-less han a year o mauriy, also called unfunded deb Bond-sricly
More informationANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS
ANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS R. Caballero, E. Cerdá, M. M. Muñoz and L. Rey () Deparmen of Applied Economics (Mahemaics), Universiy of Málaga,
More informationTask-Execution Scheduling Schemes for Network Measurement and Monitoring
Task-Execuion Scheduling Schemes for Nework Measuremen and Monioring Zhen Qin, Robero Rojas-Cessa, and Nirwan Ansari Deparmen of Elecrical and Compuer Engineering New Jersey Insiue of Technology Universiy
More informationChapter 6: Business Valuation (Income Approach)
Chaper 6: Business Valuaion (Income Approach) Cash flow deerminaion is one of he mos criical elemens o a business valuaion. Everyhing may be secondary. If cash flow is high, hen he value is high; if he
More informationAP Calculus AB 2010 Scoring Guidelines
AP Calculus AB 1 Scoring Guidelines The College Board The College Board is a no-for-profi membership associaion whose mission is o connec sudens o college success and opporuniy. Founded in 1, he College
More informationDYNAMIC ECONOMETRIC MODELS Vol. 7 Nicolaus Copernicus University Toruń 2006. Ryszard Doman Adam Mickiewicz University in Poznań
DYNAMIC ECONOMETRIC MODELS Vol. 7 Nicolaus Copernicus Universiy Toruń 26 1. Inroducion Adam Mickiewicz Universiy in Poznań Measuring Condiional Dependence of Polish Financial Reurns Idenificaion of condiional
More informationTowards a Generic Trust Model Comparison of Various Trust Update Algorithms
Towards a Generic Trus Model Comparison of Various Trus Updae Algorihms Michael Kinaeder, Erneso Baschny, and Kur Rohermel Insiue of Parallel and Disribued Sysems (IPVS) Universiä Sugar Universiässr. 38
More informationPulse-Width Modulation Inverters
SECTION 3.6 INVERTERS 189 Pulse-Widh Modulaion Inverers Pulse-widh modulaion is he process of modifying he widh of he pulses in a pulse rain in direc proporion o a small conrol signal; he greaer he conrol
More informationAutomatic measurement and detection of GSM interferences
Auomaic measuremen and deecion of GSM inerferences Poor speech qualiy and dropped calls in GSM neworks may be caused by inerferences as a resul of high raffic load. The radio nework analyzers from Rohde
More informationEconomics Honors Exam 2008 Solutions Question 5
Economics Honors Exam 2008 Soluions Quesion 5 (a) (2 poins) Oupu can be decomposed as Y = C + I + G. And we can solve for i by subsiuing in equaions given in he quesion, Y = C + I + G = c 0 + c Y D + I
More informationPresent Value Methodology
Presen Value Mehodology Econ 422 Invesmen, Capial & Finance Universiy of Washingon Eric Zivo Las updaed: April 11, 2010 Presen Value Concep Wealh in Fisher Model: W = Y 0 + Y 1 /(1+r) The consumer/producer
More informationDC-DC Boost Converter with Constant Output Voltage for Grid Connected Photovoltaic Application System
DC-DC Boos Converer wih Consan Oupu Volage for Grid Conneced Phoovolaic Applicaion Sysem Pui-Weng Chan, Syafrudin Masri Universii Sains Malaysia E-mail: edmond_chan85@homail.com, syaf@eng.usm.my Absrac
More informationCALCULATION OF OMX TALLINN
CALCULATION OF OMX TALLINN CALCULATION OF OMX TALLINN 1. OMX Tallinn index...3 2. Terms in use...3 3. Comuaion rules of OMX Tallinn...3 3.1. Oening, real-ime and closing value of he Index...3 3.2. Index
More informationTime Series Analysis Using SAS R Part I The Augmented Dickey-Fuller (ADF) Test
ABSTRACT Time Series Analysis Using SAS R Par I The Augmened Dickey-Fuller (ADF) Tes By Ismail E. Mohamed The purpose of his series of aricles is o discuss SAS programming echniques specifically designed
More informationPATHWISE PROPERTIES AND PERFORMANCE BOUNDS FOR A PERISHABLE INVENTORY SYSTEM
PATHWISE PROPERTIES AND PERFORMANCE BOUNDS FOR A PERISHABLE INVENTORY SYSTEM WILLIAM L. COOPER Deparmen of Mechanical Engineering, Universiy of Minnesoa, 111 Church Sree S.E., Minneapolis, MN 55455 billcoop@me.umn.edu
More informationInventory Planning with Forecast Updates: Approximate Solutions and Cost Error Bounds
OPERATIONS RESEARCH Vol. 54, No. 6, November December 2006, pp. 1079 1097 issn 0030-364X eissn 1526-5463 06 5406 1079 informs doi 10.1287/opre.1060.0338 2006 INFORMS Invenory Planning wih Forecas Updaes:
More informationEcological Scheduling Decision Support System Based on RIA and Cloud Computing on the YaLong River Cascade Project
2012 4h Inernaional Conference on Signal Processing Sysems (ICSPS 2012) IPCSIT vol. 58 (2012) (2012) IACSIT Press, Singapore DOI: 10.7763/IPCSIT.2012.V58.31 Ecological Scheduling Decision Suppor Sysem
More information9. Capacitor and Resistor Circuits
ElecronicsLab9.nb 1 9. Capacior and Resisor Circuis Inroducion hus far we have consider resisors in various combinaions wih a power supply or baery which provide a consan volage source or direc curren
More informationStock Trading with Recurrent Reinforcement Learning (RRL) CS229 Application Project Gabriel Molina, SUID 5055783
Sock raing wih Recurren Reinforcemen Learning (RRL) CS9 Applicaion Projec Gabriel Molina, SUID 555783 I. INRODUCION One relaively new approach o financial raing is o use machine learning algorihms o preic
More informationDistributed Echo Cancellation in Multimedia Conferencing System
Disribued Echo Cancellaion in Mulimedia Conferencing Sysem Balan Sinniah 1, Sureswaran Ramadass 2 1 KDU College Sdn.Bhd, A Paramoun Corporaion Company, 32, Jalan Anson, 10400 Penang, Malaysia. sbalan@kdupg.edu.my
More informationA Generalized Bivariate Ornstein-Uhlenbeck Model for Financial Assets
A Generalized Bivariae Ornsein-Uhlenbeck Model for Financial Asses Romy Krämer, Mahias Richer Technische Universiä Chemniz, Fakulä für Mahemaik, 917 Chemniz, Germany Absrac In his paper, we sudy mahemaical
More informationTSG-RAN Working Group 1 (Radio Layer 1) meeting #3 Nynashamn, Sweden 22 nd 26 th March 1999
TSG-RAN Working Group 1 (Radio Layer 1) meeing #3 Nynashamn, Sweden 22 nd 26 h March 1999 RAN TSGW1#3(99)196 Agenda Iem: 9.1 Source: Tile: Documen for: Moorola Macro-diversiy for he PRACH Discussion/Decision
More informationAnalogue and Digital Signal Processing. First Term Third Year CS Engineering By Dr Mukhtiar Ali Unar
Analogue and Digial Signal Processing Firs Term Third Year CS Engineering By Dr Mukhiar Ali Unar Recommended Books Haykin S. and Van Veen B.; Signals and Sysems, John Wiley& Sons Inc. ISBN: 0-7-380-7 Ifeachor
More informationMorningstar Investor Return
Morningsar Invesor Reurn Morningsar Mehodology Paper Augus 31, 2010 2010 Morningsar, Inc. All righs reserved. The informaion in his documen is he propery of Morningsar, Inc. Reproducion or ranscripion
More informationSystem Performance Improvement By Server Virtualization
Sysem Performance Improvemen By Server Virualizaion Hioshi Ueno, Tomohide Hasegawa, and Keiichi Yoshihama Absrac Wih he advance of semiconducor echnology, microprocessors become highly inegraed and herefore
More informationMaking a Faster Cryptanalytic Time-Memory Trade-Off
Making a Faser Crypanalyic Time-Memory Trade-Off Philippe Oechslin Laboraoire de Securié e de Crypographie (LASEC) Ecole Polyechnique Fédérale de Lausanne Faculé I&C, 1015 Lausanne, Swizerland philippe.oechslin@epfl.ch
More informationUptime. Working fine for the designated period on the designated system, i.e., reliability, availability, etc.
SENG 42: Sofware Merics Sofware Reliabiliy Models & Merics (Chaper 9) Deparmen of Elecrical & Compuer Engineering, Universiy of Calgary B.H. Far (far@ucalgary.ca) hp://www.enel.ucalgary.ca/people/far/lecures/seng42/9/
More informationDescription of the CBOE S&P 500 BuyWrite Index (BXM SM )
Descripion of he CBOE S&P 500 BuyWrie Index (BXM SM ) Inroducion. The CBOE S&P 500 BuyWrie Index (BXM) is a benchmark index designed o rack he performance of a hypoheical buy-wrie sraegy on he S&P 500
More informationDOES TRADING VOLUME INFLUENCE GARCH EFFECTS? SOME EVIDENCE FROM THE GREEK MARKET WITH SPECIAL REFERENCE TO BANKING SECTOR
Invesmen Managemen and Financial Innovaions, Volume 4, Issue 3, 7 33 DOES TRADING VOLUME INFLUENCE GARCH EFFECTS? SOME EVIDENCE FROM THE GREEK MARKET WITH SPECIAL REFERENCE TO BANKING SECTOR Ahanasios
More informationRisk Modelling of Collateralised Lending
Risk Modelling of Collaeralised Lending Dae: 4-11-2008 Number: 8/18 Inroducion This noe explains how i is possible o handle collaeralised lending wihin Risk Conroller. The approach draws on he faciliies
More informationMeasuring macroeconomic volatility Applications to export revenue data, 1970-2005
FONDATION POUR LES ETUDES ET RERS LE DEVELOPPEMENT INTERNATIONAL Measuring macroeconomic volailiy Applicaions o expor revenue daa, 1970-005 by Joël Cariolle Policy brief no. 47 March 01 The FERDI is a
More informationMathematics in Pharmacokinetics What and Why (A second attempt to make it clearer)
Mahemaics in Pharmacokineics Wha and Why (A second aemp o make i clearer) We have used equaions for concenraion () as a funcion of ime (). We will coninue o use hese equaions since he plasma concenraions
More informationRC (Resistor-Capacitor) Circuits. AP Physics C
(Resisor-Capacior Circuis AP Physics C Circui Iniial Condiions An circui is one where you have a capacior and resisor in he same circui. Suppose we have he following circui: Iniially, he capacior is UNCHARGED
More informationAs widely accepted performance measures in supply chain management practice, frequency-based service
MANUFACTURING & SERVICE OPERATIONS MANAGEMENT Vol. 6, No., Winer 2004, pp. 53 72 issn 523-464 eissn 526-5498 04 060 0053 informs doi 0.287/msom.030.0029 2004 INFORMS On Measuring Supplier Performance Under
More informationChapter 4: Exponential and Logarithmic Functions
Chaper 4: Eponenial and Logarihmic Funcions Secion 4.1 Eponenial Funcions... 15 Secion 4. Graphs of Eponenial Funcions... 3 Secion 4.3 Logarihmic Funcions... 4 Secion 4.4 Logarihmic Properies... 53 Secion
More informationPerformance Center Overview. Performance Center Overview 1
Performance Cener Overview Performance Cener Overview 1 ODJFS Performance Cener ce Cener New Performance Cener Model Performance Cener Projec Meeings Performance Cener Execuive Meeings Performance Cener
More informationNetwork Effects, Pricing Strategies, and Optimal Upgrade Time in Software Provision.
Nework Effecs, Pricing Sraegies, and Opimal Upgrade Time in Sofware Provision. Yi-Nung Yang* Deparmen of Economics Uah Sae Universiy Logan, UT 84322-353 April 3, 995 (curren version Feb, 996) JEL codes:
More informationBehavior Analysis of a Biscuit Making Plant using Markov Regenerative Modeling
Behavior Analysis of a Biscui Making lan using Markov Regeneraive Modeling arvinder Singh & Aul oyal Deparmen of Mechanical Engineering, Lala Lajpa Rai Insiue of Engineering & Technology, Moga -, India
More information2.4 Network flows. Many direct and indirect applications telecommunication transportation (public, freight, railway, air, ) logistics
.4 Nework flow Problem involving he diribuion of a given produc (e.g., waer, ga, daa, ) from a e of producion locaion o a e of uer o a o opimize a given objecive funcion (e.g., amoun of produc, co,...).
More informationA Novel Approach to Improve Diverter Performance in Liquid Flow Calibration Facilities
A Novel Approach o Improve Diverer Performance in Liquid Flow Calibraion Faciliies R. Engel Physikalisch-Technische Bundesansal (PTB) Braunschweig, Germany U. Klages Universiy of Applied Sciences a Wolfenbüel,
More informationModeling a distribution of mortgage credit losses Petr Gapko 1, Martin Šmíd 2
Modeling a disribuion of morgage credi losses Per Gapko 1, Marin Šmíd 2 1 Inroducion Absrac. One of he bigges risks arising from financial operaions is he risk of counerpary defaul, commonly known as a
More informationDYNAMIC MODELS FOR VALUATION OF WRONGFUL DEATH PAYMENTS
DYNAMIC MODELS FOR VALUATION OF WRONGFUL DEATH PAYMENTS Hong Mao, Shanghai Second Polyechnic Universiy Krzyszof M. Osaszewski, Illinois Sae Universiy Youyu Zhang, Fudan Universiy ABSTRACT Liigaion, exper
More informationRelationships between Stock Prices and Accounting Information: A Review of the Residual Income and Ohlson Models. Scott Pirie* and Malcolm Smith**
Relaionships beween Sock Prices and Accouning Informaion: A Review of he Residual Income and Ohlson Models Sco Pirie* and Malcolm Smih** * Inernaional Graduae School of Managemen, Universiy of Souh Ausralia
More informationGoRA. For more information on genetics and on Rheumatoid Arthritis: Genetics of Rheumatoid Arthritis. Published work referred to in the results:
For more informaion on geneics and on Rheumaoid Arhriis: Published work referred o in he resuls: The geneics revoluion and he assaul on rheumaoid arhriis. A review by Michael Seldin, Crisopher Amos, Ryk
More informationINDEX RULE BOOK Leverage, Short, and Bear Indices
INDEX RULE BOOK Leverage, Shor, and Bear Indices Version 14-01 Effecive from 1 June 2014 indices.euronex.com Index 1. Index Summary 1 2. Governance and Disclaimer 6 2.1 Indices 6 2.2 Compiler 6 2.3 Cases
More informationBALANCE OF PAYMENTS. First quarter 2008. Balance of payments
BALANCE OF PAYMENTS DATE: 2008-05-30 PUBLISHER: Balance of Paymens and Financial Markes (BFM) Lena Finn + 46 8 506 944 09, lena.finn@scb.se Camilla Bergeling +46 8 506 942 06, camilla.bergeling@scb.se
More informationWhy Did the Demand for Cash Decrease Recently in Korea?
Why Did he Demand for Cash Decrease Recenly in Korea? Byoung Hark Yoo Bank of Korea 26. 5 Absrac We explores why cash demand have decreased recenly in Korea. The raio of cash o consumpion fell o 4.7% in
More information