Aspects of Formal and Graphical Design of a Bus System
|
|
- Sabrina Weaver
- 5 years ago
- Views:
Transcription
1 Apect of Formal and Graphical Deign of a Bu Sytem Tiberiu Seceleanu Univerity of Turku, Dpt. of Information Technology Turku, Finland tiberiu.eceleanu@utu.fi Tomi Weterlund Turku Centre for Computer Science Turku, Finland tomi.weterlund@utu.fi Abtract Thi tudy how the derivation of a local egmented bu arbiter from an original ingle egment bu arbiter. The operation are performed in the formal framework of action ytem and illutrated in a graphical manner uing the correponding action ytem UML profile notation. The derivation i ueful both to demontrate the capability of preerving correctne when conidering an important hardware deign deciion and alo to identify mean through which thi kind of deciion can be performed in a graphical environment. 1 Introduction The complexity of modern day digital ytem, timulated by the latet advance in technology, lead often to problem concerning the correctne of the development flow. On one hand, modular deign i one of the olution toward partially reducing the tak of the deigner of complex ytem, while on the other hand, the employment of formal method in ytem deign trie to olve the apect related to correctne. However, the preure impoed by time-to-market apect uually doe not leave enough time for thorough analyi of deign, before they are hipped. Additionally, the often heavy mathematical apparatu behind formal method framework till forbid the expected wide uage of uch approache in ytem deign. In thi ituation, the Unified Modeling Language (UML) [11] emerged lately a one poible candidate deign environment which provide a fat learning curve combined with certain capabilitie for formal analyi. UML provide a et of intuitive graphical and textual decription technique that are uppoed to be eaily undertandable for both ytem developer and expert uer working in the application domain. Mot attractive for u i the graphical notation and the poibility to adapt it to an already developed deign tyle. The latter feature come in extremely handy, becaue UML i, in fact, groly imprecie [10]. Action Sytem [1] i a tate-baed formalim, relying on an extended verion of Dijktra language of guarded command [4]. Thi tudy i a continuation of previou work preented in [9], which define a UML profile for Action Sytem. We ue a a cae tudy the egmented bu arbiter, alo decribed previouly in [5]. In the following ection, we how how an exitent (ingle egment) bu arbiter decription can be correctly tranformed into a local egment bu arbiter. For thi, we apply both the UML profile and action ytem technique. 2 The Segmented Bu Platform The growing diverity of ytem-on-a-chip (SOC) device bring up an immene number of poible interface. In many ituation, both the ytem deign and performance are limited by the complexity of the interconnection between the different module and block that are integrated into thoe chip. Furthermore, different data tranfer peed are required a well a parallel tranmiion. A uual bu, where only one module can tranmit at a time, i low, due to large capacitive load caued by the interface of the module that are attached to it and the long phyical length. A olution to the above mentioned problem i a egmented bu deign combined with a globally aynchronou locally ynchronou (GALS) [3] ytem architecture. In thi approach, each ditinct module of a SOC ytem i ynchronized to a local clock, wherea interaction between thoe module are arranged aynchronouly. A egmented bu i a bu which i partitioned into two or more egment. Each egment act a a normal bu between module that are connected to it and operate in parallel with other egment. Segment can be connected / diconnected dynamically to each other in order to etablih connection between module located in different egment. Therefore, thi tructure i more flexible than the uual one (AMBA-like, for intance), where bridge may be interpreted a egment. All dynamically connected egment act a one ingle bu. Due to the egmentation of thi reource, parallel tranaction can take place, thu increaing the performance. Detail about the /04 $20.00 (c) 2004 IEEE 1
2 egmented bu principle and implementation can be found in [5]. Segmented Bu Architecture. The egmented bu tructure i imply illutrated in Figure 1. Every egment i compoed of a group of mater, a group of lave, a egment arbiter (SA), the phyical line (addre, data, requet, acknowledge and read / write line) and an inter-egment bridge controller. The egment with their component act a a tand-alone bue operating in parallel, mater motly aking ervice from the group of lave placed within the confine of one egment. Occaionally, one mater may require ervice from a lave connected to another bu egment. In thi ituation, the local arbitration unit forward the requet to a central arbitration module, in order to etablih an inter-egment connection. The central arbiter (CA) tore the information regarding the current ituation of the egment: what egment are participating in an inter-egment tranaction, what new requet are pending for an inter-egment acce. Baed on thi information, the CA decide if there i a change in the ownerhip of certain egment and deliver the appropriate control ignal to the involved module. 0 j 0 j n-1 Figure 1. Segmented bu tructure. Operation on a Segmented Bu. There are three mode in which operation on a pecific egment may proceed, from the point of view of local arbitration. Thee mode depend on the localization of the mater requeting the bu and the lave. Thu, we have (i) a local mater local lave ituation, (ii) a local mater external lave ituation and (iii) a external mater local or external lave. In all the ituation, the mater that i granted the acce to the bu connect to the lave following a four-phae ignaling protocol. The requet part i alo viible to the SA reiding in the ame egment a the mater. Thu, the SA upervie the acce of the mater to the bu by counting the number of tranfer, in cae (i) and (ii) above. A more detailed block decription of egment component and ignal i given in figure 2. 3 Action Sytem Back and Kurki-Suonio [1] introduced the action ytem formalim, providing a framework for pecifying and refining concurrent program. An action ytem (AS, henceforward) i in general a collection of action or guarded command, which are executed one at a time. The j n-1 Figure 2. The Segment Control Element. Action Sytem i ued for pecification and correctne preerving development of reactive ytem. An action A i defined (for example) by A ::= x := x.r (nondeterminitic aignment) A 1 A 2 (nondeterminitic choice) A 1 ; A 2 (equential compoition) A 1 A 2 (prioritized compoition) where R i a predicate, x i a variable or a lit of variable, and A 1 and A 2 are action. Semantically, an action A i defined by the weaket precondition for A to etablih ome pot-condition Q, denoted wp(a, Q). In thi paper, we regard an action A a being of the form g S, where g i the guard of the action, given by ga = wp(a, fale), and S i the action body. An action i aid to be enabled, if it guard i true, diabled otherwie. Action are conidered atomic, meaning that whenever one i elected for execution, it will be completed without interference. Atomic action may be part of non-atomic action compoition, in which cae, the execution of the whole compoition i interrupted after the execution of one of it enabled component. Additionally, the quantified compoition of action i defined by [ i = 0... n : A i] = A 0 A 1... A n, where can be any of the allowed operator. An action ytem i a compoition of (non-atomic) action, decribing a certain behavior. A long a the ytem contain enabled action, one of them may be elected for execution, after which action in other ytem may be executed. Refinement. Action ytem are meant to be deigned in a tepwie manner within the refinement calculu framework [2]. The refinement calculu preerve the correctne of the action during refinement procedure. The (atomic) action A i aid to be (correctly) refined by action C, denoted A C, if q.(wp(a, q) wp(c, q)) hold. Thi i equivalent to the condition p, q.((p A q) (p C q)), which mean that the concrete action C preerve every total correctne property of the abtract action A. In the next ection we will make ue of ome rule baed on refinement relation, which we introduce in the following paragraph. Rule 1 Data Refinement. Aume two action A and C with variable a, u and c, u, repectively. Let R(a, c) be a 2
3 boolean relation between the variable a and c. The abtract action A i data-refined by the concrete action C uing the abtraction relation R(a, c), denoted A R C, if q.(r wp(a, q) wp(c, a.r q)) (1) hold. The predicate a.r q i a boolean condition on the program variable a and c. Thi rule formalize a very common practice in HW deign. For intance, it i uual to change data type during deign tep that change the view of the ytem from abtract to more concrete level. Hence, integer could be repreented a bit-vector, or imple data tructure can be tranformed into more complex one, a we illutrate in forthcoming ection. Rule 2 Prioritized compoition. The prioritized compoition defined in [7] offer u the poibility to conciely impoe precedence of ome action / action ytem over other. It i clearly a natural olution for ituation encountered in a bu baed deign, where at leat in the arbitration proce granting the next owner of the bu follow certain priority cheme. Briefly, the prioritized compoition of two action i expreed in term of the non-determinitic choice a: A B = A ga B. The reult of interet to u i the fact that alway, a nonprioritized compoition A B can be turned into a prioritized one, for intance A B, by merely trengthening the guard of the le important action. Hence, alway: A B A B (2) Rule 3 Ditributivity of equence over the choice. Conidering the tatement preent in our deign a conjunctive, monotonic predicate tranformer [2], we benefit in our reaoning of the following rule, decribing the ditributivity of the equence over the choice operator: (A B); C = (A; C) (B; C) (3) There are everal other rule that we will conider in the forthcoming ection, uch a the introduction of a local variable, the introduction or the removal of an empty tatement, for which we do not offer detailed exemplification. They may be found elewhere [2, 8]. 4 UML Profile for Action Sytem The UML profile for Action Sytem i a graphical notation intended to eae the deigner burden by offering a viual repreentation of the ytem under development. With thi graphical repreentation the deigner can compoe the ytem and manage large complex ytem eaier. The operator connecting the action and the action ytem are clearly viible in the graphical repreentation and thu the overall functionality become apparent. The profile cutomize and extend pecific UML type for every action ytem operator and define a notation for them. A Graphical Notation. Table 1 how part of the graphical notation pecified in the profile. Table 1. Notation of action Name Notation AS Meaning Atomic Action Atomic Sequence Non-Atomic Sequence Non-Determinitic Choice Prioritied Compoition A A; B A; B A B A B The notation preented in table 1 i conitent with the action characteritic decribed in ection 3: the full dot and arrow-head correpond to atomic compoition, while the other line termination correpond to non-atomic contruct. Notice that the graphical repreentation for the choice and prioritized compoition correpond to nonatomic ituation. Within a ytem, the next action to be elected for execution i given by the operator emantic. Graphical refinement. One of the intention behind electing UML a a partner language when developing action ytem deign wa the exitence of a graphical environment. However, image by themelve can not enure the correctne of neceary tranformation from high level of abtraction to implementation and therefore, a textual notation of the ytem hould be available at any time. Change that are made in the graphical notation mut be checked under refinement calculu rule, o that the target ytem will be a correct implementation of the original one. On the other hand, during the ytem deign flow, there i a relatively reduced et of tranformation that help the deigner reaon about operation to be performed in order to elect among different level of repreentation. Hence, in the following, we intend to map ome cae of refinement rule into equivalent graphical tranformation rule. Rule G1. Choice to prioritized compoition. Thi rule illutrate the change of a nondeterminitic choice compoition into a prioritized compoition, a hown in figure 3. Figure 3. Prioritizing action. Rule G2. Ditribution of equence over choice. The relation 3 i viualized a hown in figure 4. 3
4 by Figure 6. Thi i alo the tarting point in tranforming the ingle bu arbiter into a SA. Figure 4. Atomic equence ditribution. Rule G3. Non-atomic equence and choice. We give a an example here a rule that i eaily uggeted by the graphical notation, and which can be proven within the action ytem framework. Hence, we can extend the above illutrated Rule 3 to non-atomic action, in the way preented in figure 5. Figure 5. Non-atomic equence ditribution. Figure 6. Single bu arbiter. The Grant Action. We tart by conidering that there i a ingle mater in the ytem. Replicating the action in a proper manner will eventually decribe the granting activity for a larger number of mater. Hence, our derivation begin with the Grant action (Fig. 7). Thu, whenever a mater requet the bu (req) and no other mater i granted (gr = F ), then the arbiter may give acce to reource (gr := T ) or not (kip which mean that leave gr = F ). After thi, the ack line i et to true. It i et back to fale whenever the mater alo reet the req ignal. Following thi, a new granting cycle may tart. 5 Derivation We intend to tart our deign tarting from a ingle egment bu, where we have the decription of mater, the lave and the bu arbiter. The tranformation toward a egmented bu i tranparent except for the arbiter, which become a egment arbiter. The SA ha to take into conideration now a higher priority mater, repreented by the CA. It will alo have to conider idling for the period of time when the egment i jut a tranmiion line between a winning mater and it elected lave, both ituated outide the boundarie of the pecific SAegment. In thi ection we concentrate on the granting activity only. The notation T and F tand for the boolean value of true and fale, repectively. The egment arbiter. The operation of the arbiter on a ingle bu ytem conit of two job. One i to grant the requeting mater the acce to the bu, whenever the previou owner finihed the tranfer. Thi i ignaled by raiing the line gr (gr := T ). The econd one i to upervie the current owner o that the number of tranfer doe not go over a pecified limit. When thi limit i reached, the mater i informed that it ha lot the control. Hence, the variable gr i reet (gr := F ). With the help of the boolean variable ack the arbiter alo inform the mater that the deciion on the next owner of the bu i taken. If requeting mater did not yet receive acce to the bu, they are uppoed to keep on requeting. While a granted mater operate tranfer on the bu, the arbiter mut not grant any other requeting mater. Hence, the uperviion activity mut have a higher priority than granting. Thu, we have the graphical decription offered Figure 7. The initial Grant action. We apply Rule G2 to the Grant action and we obtain the refined verion, Grant 1, a illutrated in Fig. 8 Grant 1 = ( req gr = F (gr := T; ack := T kip; ack := T) ) Figure 8. The action Grant 1. Next, conider the relation R(gr, grant) = ( gr = F (grant = F grant = Hold)) (gr = T grant = T ) The relation R pecifie how we can replace the original two-valued variable gr, with the new, three-valued, variable grant. Thi i required becaue, when a local mater requet an external egment acce, the SA cannot grant it without aking the CA. Hence, it will firt place the correponding grant line to a new value, Hold and will forward the requet to the CA. When the CA grant the acce, it inform the correponding SA, which now forward the grant to the pecific mater. Uing R, we data refine the granting action (Grant 1 R Grant 1 ) a hown in Fig. 9. We continue by introducing the variable which implement the communication with the CA, namely req C and 4
5 Figure 9. The action Grant 1. Grant 4 = ( ( req grant = Hold ackc grant := T; ack := T req local grant = F grant := Hold; req C := T; ack := T ) ) ( req local grant = F grant := T; ack := T ) Figure 12. The action Grant 4. ack C. The firt one i updated by the SA, while the econd i only read by the SA and written by the CA. We obtain the action Grant 2 (Fig. 10). Grant 2 = ( req (grant = F (grant = Hold ack C)) grant := T; ack := T req grant = F grant := Hold; ack := T; req C := T ) Figure 10. The action Grant 2. The arbiter differentiate a local egment requet from an external one by reading the lave addre line (SAddr) provided by the requeting mater. The own addre (legnr) i coded inide the SA. For implicity, we denote local = SAddr = legnr. A new verion of the Grant action i then obtained Fig. 11. Grant 3 = ( req ((local grant = F) (grant = Hold ack C)) grant := T; ack := T req local grant = F grant := Hold; ack := T; req C := T ) Figure 11. The action Grant 3. A mater that need to tranfer data to / from a lave placed in an external egment will wait coniderably more than a mater requeting a local reource. In order to balance thi apect, we decide to give higher prioritie to uch requet. In the ame tep, we apply Rule 3. The reult i repreented by action Grant 4. Here i the point where we take into conideration the exitence of everal mater within the egment. They are numbered from 0 to. Each mater j communicate with the SA by mean of a requet ignal, req[j] and lave addre line SAddr[j]. The SA update for each mater a grant ignal, grant[j]. Moreover, every mater ha acce to the unique ack line ued by the SA to ignal termination of a granting eion. Thu, we replicate the granting activity following a data refinement tep which relate the initial variable req and grant to their vectorized verion, req[0... ] and grant[0... ]. We ue the abtraction relation: R 1 = (req = T j {0,..., }.req[j] = T ) (req = F j {0,..., }.req[j] = F ) and we have Grant 4 R1 Grant 5 Fig. 13. ( ( [ Grant 5 = j := 0... : req[j] grant[j] = Hold ackc ] grant[j] := T; ack := T [ j := 0... : req[j] local grant[j] = F ] ) grant[j] := Hold; ack := T; reqc := T ) ; req[j] ack ack := F ( [ j := 0... : req[j] local grant[j] = F grant[j] := T; ack := T ] ) ; req[j] ack ack := F +1 Figure 13. The action Grant 5. Oberve that there i one ituation which i not yet exactly reflected in the above decription. It correpond to the requet coming from the CA to the SA, aking acce right for another egment mater, either to pa through the egment, or to acce a local reource. The channel devoted to thi communication i imilar with the one conidered by Grant 5 : the CA i jut another local mater from the point of view of the SA. However, we jut want to eparately identify thi pecific mater, a we intend to place it higher in the priority lit. We identify it a the mater[0]. We aign to thi mater the highet priority. Notice further that, actually, the CA doe not provide requeted egment addree. Hence, we may aume that it alway requet local acce, therefore, the correponding grant line can not be placed on Hold. At the ame time, we decide to replace the variable req[0] and grant[0] by req O and ack O, repectively (Fig. 14). Grant 7 = ( [ j := 1... : req[j] grant[j] = Hold ackc grant[j] := T; ack := T req[j] local grant[j] = F grant[j] := Hold; ack := T; reqc := T ] ) ; req[j] ack ack := F ( reqo acko = F acko := T; ack := T ) ; reqo ack ack := F [ j := 1... : req[j] local grant[j] = F grant[j] := T; ack := T ] ; req[j] ack ack := F Figure 14. The action Grant
6 The egment arbiter. An analyi imilar to the one preented above (for the Grant action) i performed for the Supervie action. The full repreentation of the SA i illutrated in figure 15, where we alo named the ubcomponent of the Grant 7 action. The action ytem decription i given in [6]. LAckF = req[j] ack ack := F LAckF O = req O ack ack := F RoAckC = req[j] grant[j] = Hold ack C grant[j] := T ; ack := T RoGr = req[j] local grant[j] = F grant[j] := Hold; ack := T ; req C := T EGr = req O ack O = F ack O := T ; ack := T LGr = req[j] local grant[j] = F grant[j], ack := T 6 Concluion Figure 15. The egment arbiter. In thi tudy we have hown how the action ytem formalim i applied to correctly derive a egment arbiter pecification from a ingle egment arbiter. The work i part of a larger project that analyze the realization of a egmented bu, tarting from high level of abtraction down to implementation. On the way, we alo applied the graphical notation of the action ytem profile for UML. We decribed how the precie rule of refinement can be tranlated into the graphical environment provided by thi profile. However, we may not ay that one can directly ue the viual environment to fulfill all the requirement of a given deign project. The action ytem repreentation hould alway be aide and conulted at every tep. A mall tep toward the relaxation of thi ituation i illutrated by the tranlation of everal refinement tep into their graphical equivalent. Neverthele, for the poible neceary data refinement tep we found yet no olution a to their UML repreentation. In thi direction, further work concentrate on analyzing poibilitie to adapt the technique of the action ytem framework to the environment provided by the Object Contraint Language [11]. Provided the change in ytem repreentation are correctly performed, the graphical decription tranformation, a the one preented in the previou ection (Fig. 7 to Fig. 14) can be eaily automated by uing OCL pecification. Thu, one could think of building a deign methodology that would take advantage of the feature offered by the AS UML profile. Acknowledgement. The work preented in thi tudy wa partly funded by the ITEA Prompt to Implementation project. Reference [1] R. J. R. Back and R. Kurki-Suonio. Ditributed Cooperation with Action Sytem. In ACM Tranaction on Programming Language and Sytem, Vol. 10, No , pp [2] R. J. R. Back and J. von Wright. Refinement Calculu: A Sytematic Introduction. Springer Verlag, [3] D. M. Chapiro. Globally-Aynchronou Locally- Synchronou Sytem. PhD thei, Standford Univerity, [4] E. W. Dijktra. A Dicipline of Programming. Prentice-Hall International, [5] T. Seceleanu, J. Ploila, P. Liljeberg. On-Chip Segmented Bu: A Self Timed Approach. Proceeding of the 15 t h IEEE ASIC/SOC Conference, 2002, page [6] T. Seceleanu, T.Weterlund. Segment Arbiter A Action Sytem. Proceeding of SCS International Sympoium, 2003, pp [7] E. Sekerinki, K. Sere. A Theory of Prioritizing Compoition. The Computer Journal, VOL. 39, No 8, pp The Britih Computer Society. Oxford Univerity Pre. [8] K. Sere. Stepwie Derivation of Parallel Algorithm. Ph.D. Thei, Abo Akademi, Turku, Finland, [9] T.Weterlund, T. Seceleanu. UML Profile for Action Sytem. To appear a a TUCS technical report, [10] J. Whittle. Formal Approache to Sytem Analyi Uing UML: An Overview. In Advanced Topic in Databae Reearch, ed. Keng Siau, pp [11] OMG Unified Modeling Language Specification, ver. 1.4, September,
Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz
Operational emantic Page Operational emantic Cla note for a lecture given by Mooly agiv Tel Aviv Univerity 4/5/7 By Roy Ganor and Uri Juhaz Reference emantic with Application, H. Nielon and F. Nielon,
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each type of circuit will be implemented in two
More informationEdits in Xylia Validity Preserving Editing of XML Documents
dit in Xylia Validity Preerving diting of XML Document Pouria Shaker, Theodore S. Norvell, and Denni K. Peter Faculty of ngineering and Applied Science, Memorial Univerity of Newfoundland, St. John, NFLD,
More informationUniversität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart.
Univerität Augburg à ÊÇÅÍÆ ËÀǼ Approximating Optimal Viual Senor Placement E. Hörter, R. Lienhart Report 2006-01 Januar 2006 Intitut für Informatik D-86135 Augburg Copyright c E. Hörter, R. Lienhart Intitut
More informationSIMIT 7. Component Type Editor (CTE) User manual. Siemens Industrial
SIMIT 7 Component Type Editor (CTE) Uer manual Siemen Indutrial Edition January 2013 Siemen offer imulation oftware to plan, imulate and optimize plant and machine. The imulation- and optimizationreult
More informationDAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications
DAROS: Ditributed Uer-Server Aignment And Replication For Online Social Networking Application Thuan Duong-Ba School of EECS Oregon State Univerity Corvalli, OR 97330, USA Email: duongba@eec.oregontate.edu
More informationLecture 14: Minimum Spanning Tree I
COMPSCI 0: Deign and Analyi of Algorithm October 4, 07 Lecture 4: Minimum Spanning Tree I Lecturer: Rong Ge Scribe: Fred Zhang Overview Thi lecture we finih our dicuion of the hortet path problem and introduce
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in Verilog and implemented
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in VHL and implemented
More informationComputer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder
Computer Arithmetic Homework 3 2016 2017 Solution 1 An adder for graphic In a normal ripple carry addition of two poitive number, the carry i the ignal for a reult exceeding the maximum. We ue thi ignal
More informationRefining SIRAP with a Dedicated Resource Ceiling for Self-Blocking
Refining SIRAP with a Dedicated Reource Ceiling for Self-Blocking Mori Behnam, Thoma Nolte Mälardalen Real-Time Reearch Centre P.O. Box 883, SE-721 23 Väterå, Sweden {mori.behnam,thoma.nolte}@mdh.e ABSTRACT
More informationThe Association of System Performance Professionals
The Aociation of Sytem Performance Profeional The Computer Meaurement Group, commonly called CMG, i a not for profit, worldwide organization of data proceing profeional committed to the meaurement and
More informationDistributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router
Ditributed Packet Proceing Architecture with Reconfigurable Hardware Accelerator for 100Gbp Forwarding Performance on Virtualized Edge Router Satohi Nihiyama, Hitohi Kaneko, and Ichiro Kudo Abtract To
More informationTopics. Lecture 37: Global Optimization. Issues. A Simple Example: Copy Propagation X := 3 B > 0 Y := 0 X := 4 Y := Z + W A := 2 * 3X
Lecture 37: Global Optimization [Adapted from note by R. Bodik and G. Necula] Topic Global optimization refer to program optimization that encompa multiple baic block in a function. (I have ued the term
More informationAn Approach to a Test Oracle for XML Query Testing
An Approach to a Tet Oracle for XML Query Teting Dae S. Kim-Park, Claudio de la Riva, Javier Tuya Univerity of Oviedo Computing Department Campu of Vieque, /n, 33204 (SPAIN) kim_park@li.uniovi.e, claudio@uniovi.e,
More informationService and Network Management Interworking in Future Wireless Systems
Service and Network Management Interworking in Future Wirele Sytem V. Tountopoulo V. Stavroulaki P. Demeticha N. Mitrou and M. Theologou National Technical Univerity of Athen Department of Electrical Engineering
More informationLinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage
Proceeding of the World Congre on Engineering 2007 Vol I LinkGuide: Toward a Better Collection of Hyperlink in a Webite Homepage A. Ammari and V. Zharkova chool of Informatic, Univerity of Bradford anammari@bradford.ac.uk,
More informationPerformance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks
Performance of a Robut Filter-baed Approach for Contour Detection in Wirele Senor Network Hadi Alati, William A. Armtrong, Jr., and Ai Naipuri Department of Electrical and Computer Engineering The Univerity
More informationHow to. write a paper. The basics writing a solid paper Different communities/different standards Common errors
How to write a paper The baic writing a olid paper Different communitie/different tandard Common error Reource Raibert eay My grammar point Article on a v. the Bug in writing Clarity Goal Conciene Calling
More informationDynamically Reconfigurable Neuron Architecture for the Implementation of Self- Organizing Learning Array
Dynamically Reconfigurable Neuron Architecture for the Implementation of Self- Organizing Learning Array Januz A. Starzyk,Yongtao Guo, and Zhineng Zhu School of Electrical Engineering & Computer Science
More informationModeling of underwater vehicle s dynamics
Proceeding of the 11th WEA International Conference on YTEM, Agio Nikolao, Crete Iland, Greece, July 23-25, 2007 44 Modeling of underwater vehicle dynamic ANDRZEJ ZAK Department of Radiolocation and Hydrolocation
More informationIntegration of Digital Test Tools to the Internet-Based Environment MOSCITO
Integration of Digital Tet Tool to the Internet-Baed Environment MOSCITO Abtract Current paper decribe a new environment MOSCITO for providing acce to tool over the internet. The environment i built according
More informationAnalyzing Hydra Historical Statistics Part 2
Analyzing Hydra Hitorical Statitic Part Fabio Maimo Ottaviani EPV Technologie White paper 5 hnode HSM Hitorical Record The hnode i the hierarchical data torage management node and ha to perform all the
More informationRouting Definition 4.1
4 Routing So far, we have only looked at network without dealing with the iue of how to end information in them from one node to another The problem of ending information in a network i known a routing
More informationLaboratory Exercise 6
Laboratory Exercie 6 Adder, Subtractor, and Multiplier a a The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each b c circuit will be decribed in Verilog
More informationKeywords Cloud Computing, Service Level Agreements (SLA), CloudSim, Monitoring & Controlling SLA Agent, JADE
Volume 5, Iue 8, Augut 2015 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Verification of Agent
More informationCERIAS Tech Report EFFICIENT PARALLEL ALGORITHMS FOR PLANAR st-graphs. by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daescu
CERIAS Tech Report 2003-15 EFFICIENT PARALLEL ALGORITHMS FOR PLANAR t-graphs by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daecu Center for Education and Reearch in Information Aurance and Security,
More informationProving Temporal Properties of Z Specifications Using Abstraction
Proving Temporal Propertie of Z Specification Uing Abtraction Graeme Smith and Kirten Winter Software Verification Reearch Centre Univerity of Queenland 4072, Autralia {mith, kirten}@vrc.uq.edu.au Abtract.
More informationA SIMPLE IMPERATIVE LANGUAGE THE STORE FUNCTION NON-TERMINATING COMMANDS
A SIMPLE IMPERATIVE LANGUAGE Eventually we will preent the emantic of a full-blown language, with declaration, type and looping. However, there are many complication, o we will build up lowly. Our firt
More informationA Multi-objective Genetic Algorithm for Reliability Optimization Problem
International Journal of Performability Engineering, Vol. 5, No. 3, April 2009, pp. 227-234. RAMS Conultant Printed in India A Multi-objective Genetic Algorithm for Reliability Optimization Problem AMAR
More informationSIMIT 7. Profinet IO Gateway. User Manual
SIMIT 7 Profinet IO Gateway Uer Manual Edition January 2013 Siemen offer imulation oftware to plan, imulate and optimize plant and machine. The imulation- and optimizationreult are only non-binding uggetion
More information1 The secretary problem
Thi i new material: if you ee error, pleae email jtyu at tanford dot edu 1 The ecretary problem We will tart by analyzing the expected runtime of an algorithm, a you will be expected to do on your homework.
More informationOn successive packing approach to multidimensional (M-D) interleaving
On ucceive packing approach to multidimenional (M-D) interleaving Xi Min Zhang Yun Q. hi ankar Bau Abtract We propoe an interleaving cheme for multidimenional (M-D) interleaving. To achieved by uing a
More informationAdvanced Encryption Standard and Modes of Operation
Advanced Encryption Standard and Mode of Operation G. Bertoni L. Breveglieri Foundation of Cryptography - AES pp. 1 / 50 AES Advanced Encryption Standard (AES) i a ymmetric cryptographic algorithm AES
More informationLecture Outline. Global flow analysis. Global Optimization. Global constant propagation. Liveness analysis. Local Optimization. Global Optimization
Lecture Outline Global flow analyi Global Optimization Global contant propagation Livene analyi Adapted from Lecture by Prof. Alex Aiken and George Necula (UCB) CS781(Praad) L27OP 1 CS781(Praad) L27OP
More informationKaren L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract
Mot Graph are Edge-Cordial Karen L. Collin Dept. of Mathematic Weleyan Univerity Middletown, CT 6457 and Mark Hovey Dept. of Mathematic MIT Cambridge, MA 239 Abtract We extend the definition of edge-cordial
More informationCutting Stock by Iterated Matching. Andreas Fritsch, Oliver Vornberger. University of Osnabruck. D Osnabruck.
Cutting Stock by Iterated Matching Andrea Fritch, Oliver Vornberger Univerity of Onabruck Dept of Math/Computer Science D-4909 Onabruck andy@informatikuni-onabrueckde Abtract The combinatorial optimization
More informationCapturing Complete and Accurate Requirements by Refinement
Capturing Complete and ccurate Requirement by Refinement Shaoying Liu Faculty of Computer and Information Science Hoei Univerity, Tokyo, Japan Email: liu@k.hoei.ac.jp URL: http://www.k.hoei.ac.jp/~liu/
More informationAUTOMATIC TEST CASE GENERATION USING UML MODELS
Volume-2, Iue-6, June-2014 AUTOMATIC TEST CASE GENERATION USING UML MODELS 1 SAGARKUMAR P. JAIN, 2 KHUSHBOO S. LALWANI, 3 NIKITA K. MAHAJAN, 4 BHAGYASHREE J. GADEKAR 1,2,3,4 Department of Computer Engineering,
More informationMicrosemantics as a Bootstrap in Teaching Formal Methods
Microemantic a a Boottrap in Teaching Formal Method Raymond Boute INTEC Univeriteit Gent, Belgium Raymond.Boute@intec.UGent.be Abtract Introducing an elementary form of program emantic early in the curriculum
More informationGeneric Traverse. CS 362, Lecture 19. DFS and BFS. Today s Outline
Generic Travere CS 62, Lecture 9 Jared Saia Univerity of New Mexico Travere(){ put (nil,) in bag; while (the bag i not empty){ take ome edge (p,v) from the bag if (v i unmarked) mark v; parent(v) = p;
More informationAutomated Usability Evaluation during Model-based Interactive System Development
Automated Uability Evaluation during -baed Interactive Sytem Development Sebatian Feuertack 1, Marco Blumendorf 1, Maximilian Kern 1, Michael Kruppa 2, Michael Quade 1, Mathia Runge 1 and Sahin Albayrak
More informationelse end while End References
621-630. [RM89] [SK76] Roenfeld, A. and Melter, R. A., Digital geometry, The Mathematical Intelligencer, vol. 11, No. 3, 1989, pp. 69-72. Sklanky, J. and Kibler, D. F., A theory of nonuniformly digitized
More informationLaboratory Exercise 2
Laoratory Exercie Numer and Diplay Thi i an exercie in deigning cominational circuit that can perform inary-to-decimal numer converion and inary-coded-decimal (BCD) addition. Part I We wih to diplay on
More informationHassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem,
COMPETITIVE PROBABIISTIC SEF-ORGANIZING MAPS FOR ROUTING PROBEMS Haan Ghaziri AUB, OSB Beirut, ebanon ghaziri@aub.edu.lb Abtract In thi paper, we have applied the concept of the elf-organizing map (SOM)
More informationSLA Adaptation for Service Overlay Networks
SLA Adaptation for Service Overlay Network Con Tran 1, Zbigniew Dziong 1, and Michal Pióro 2 1 Department of Electrical Engineering, École de Technologie Supérieure, Univerity of Quebec, Montréal, Canada
More informationmapping reult. Our experiment have revealed that for many popular tream application, uch a networking and multimedia application, the number of VC nee
Reolving Deadlock for Pipelined Stream Application on Network-on-Chip Xiaohang Wang 1,2, Peng Liu 1 1 Department of Information Science and Electronic Engineering, Zheiang Univerity Hangzhou, Zheiang,
More informationIncreasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment
Int. J. Communication, Network and Sytem Science, 0, 5, 90-97 http://dx.doi.org/0.436/ijcn.0.50 Publihed Online February 0 (http://www.scirp.org/journal/ijcn) Increaing Throughput and Reducing Delay in
More informationKinematics Programming for Cooperating Robotic Systems
Kinematic Programming for Cooperating Robotic Sytem Critiane P. Tonetto, Carlo R. Rocha, Henrique Sima, Altamir Dia Federal Univerity of Santa Catarina, Mechanical Engineering Department, P.O. Box 476,
More informationA Practical Model for Minimizing Waiting Time in a Transit Network
A Practical Model for Minimizing Waiting Time in a Tranit Network Leila Dianat, MASc, Department of Civil Engineering, Sharif Univerity of Technology, Tehran, Iran Youef Shafahi, Ph.D. Aociate Profeor,
More informationModelling the impact of cyber attacks on the traffic control centre of an urban automobile transport system by means of enhanced cybersecurity
Modelling the impact of cyber attack on the traffic control centre of an urban automobile tranport ytem by mean of enhanced cyberecurity Yoana Ivanova 1,* 1 Bulgarian Academy of Science, Intitute of ICT,
More informationPlanning of scooping position and approach path for loading operation by wheel loader
22 nd International Sympoium on Automation and Robotic in Contruction ISARC 25 - September 11-14, 25, Ferrara (Italy) 1 Planning of cooping poition and approach path for loading operation by wheel loader
More informationChapter 13 Non Sampling Errors
Chapter 13 Non Sampling Error It i a general aumption in the ampling theory that the true value of each unit in the population can be obtained and tabulated without any error. In practice, thi aumption
More informationA Load Balancing Model based on Load-aware for Distributed Controllers. Fengjun Shang, Wenjuan Gong
4th International Conference on Machinery, Material and Computing Technology (ICMMCT 2016) A Load Balancing Model baed on Load-aware for Ditributed Controller Fengjun Shang, Wenjuan Gong College of Compute
More informationAlgorithmic Discrete Mathematics 4. Exercise Sheet
Algorithmic Dicrete Mathematic. Exercie Sheet Department of Mathematic SS 0 PD Dr. Ulf Lorenz 0. and. May 0 Dipl.-Math. David Meffert Verion of May, 0 Groupwork Exercie G (Shortet path I) (a) Calculate
More informationDelaunay Triangulation: Incremental Construction
Chapter 6 Delaunay Triangulation: Incremental Contruction In the lat lecture, we have learned about the Lawon ip algorithm that compute a Delaunay triangulation of a given n-point et P R 2 with O(n 2 )
More informationTemporal Abstract Interpretation. To have a continuum of program analysis techniques ranging from model-checking to static analysis.
Temporal Abtract Interpretation Patrick COUSOT DI, École normale upérieure 45 rue d Ulm 75230 Pari cedex 05, France mailto:patrick.couot@en.fr http://www.di.en.fr/ couot and Radhia COUSOT LIX École polytechnique
More information(12) Patent Application Publication (10) Pub. No.: US 2013/ A1. Dhar et al. (43) Pub. Date: Jun. 6, 2013 NY (US) (57) ABSTRACT
(19) United State US 2013 0145314A1 (12) Patent Application Publication (10) Pub. No.: US 2013/0145314 A1 Dhar et al. (43) Pub. Date: Jun. 6, 2013 (54) SYSTEMAND METHOD FORCHANGEABLE (52) U.S. Cl. FOCUS
More information3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES
MAKARA, TEKNOLOGI, VOL. 9, NO., APRIL 5: 3-35 3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES Mochammad Zulianyah Informatic Engineering, Faculty of Engineering, ARS International Univerity,
More informationManeuverable Relays to Improve Energy Efficiency in Sensor Networks
Maneuverable Relay to Improve Energy Efficiency in Senor Network Stephan Eidenbenz, Luka Kroc, Jame P. Smith CCS-5, MS M997; Lo Alamo National Laboratory; Lo Alamo, NM 87545. Email: {eidenben, kroc, jpmith}@lanl.gov
More informationShortest Paths Problem. CS 362, Lecture 20. Today s Outline. Negative Weights
Shortet Path Problem CS 6, Lecture Jared Saia Univerity of New Mexico Another intereting problem for graph i that of finding hortet path Aume we are given a weighted directed graph G = (V, E) with two
More informationChapter S:II (continued)
Chapter S:II (continued) II. Baic Search Algorithm Sytematic Search Graph Theory Baic State Space Search Depth-Firt Search Backtracking Breadth-Firt Search Uniform-Cot Search AND-OR Graph Baic Depth-Firt
More informationAN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROBLEM
RAC Univerity Journal, Vol IV, No, 7, pp 87-9 AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROLEM Mozzem Hoain Department of Mathematic Ghior Govt
More informationSee chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM
Goal programming Objective of the topic: Indentify indutrial baed ituation where two or more objective function are required. Write a multi objective function model dla a goal LP Ue weighting um and preemptive
More informationModeling the Effect of Mobile Handoffs on TCP and TFRC Throughput
Modeling the Effect of Mobile Handoff on TCP and TFRC Throughput Antonio Argyriou and Vijay Madietti School of Electrical and Computer Engineering Georgia Intitute of Technology Atlanta, Georgia 3332 25,
More informationA User-Attention Based Focus Detection Framework and Its Applications
A Uer-Attention Baed Focu Detection Framework and It Application Chia-Chiang Ho, Wen-Huang Cheng, Ting-Jian Pan, Ja-Ling Wu Communication and Multimedia Laboratory, Department of Computer Science and Information
More informationLaboratory Exercise 2
Laoratory Exercie Numer and Diplay Thi i an exercie in deigning cominational circuit that can perform inary-to-decimal numer converion and inary-coded-decimal (BCD) addition. Part I We wih to diplay on
More information3D SMAP Algorithm. April 11, 2012
3D SMAP Algorithm April 11, 2012 Baed on the original SMAP paper [1]. Thi report extend the tructure of MSRF into 3D. The prior ditribution i modified to atify the MRF property. In addition, an iterative
More informationKey Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing.
Volume 3, Iue 11, November 2013 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Tak Aignment in
More informationMulticast with Network Coding in Application-Layer Overlay Networks
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 22, NO. 1, JANUARY 2004 1 Multicat with Network Coding in Application-Layer Overlay Network Ying Zhu, Baochun Li, Member, IEEE, and Jiang Guo Abtract
More informationA Basic Prototype for Enterprise Level Project Management
A Baic Prototype for Enterprie Level Project Management Saurabh Malgaonkar, Abhay Kolhe Computer Engineering Department, Mukeh Patel School of Technology Management & Engineering, NMIMS Univerity, Mumbai,
More informationETSI TS V ( )
TS 122 153 V14.4.0 (2017-05) TECHNICAL SPECIFICATION Digital cellular telecommunication ytem (Phae 2+) (GSM); Univeral Mobile Telecommunication Sytem (UMTS); LTE; Multimedia priority ervice (3GPP TS 22.153
More information(12) Patent Application Publication (10) Pub. No.: US 2003/ A1
US 2003O196031A1 (19) United State (12) Patent Application Publication (10) Pub. No.: US 2003/0196031 A1 Chen (43) Pub. Date: Oct. 16, 2003 (54) STORAGE CONTROLLER WITH THE DISK Related U.S. Application
More informationData Mining with Linguistic Thresholds
Int. J. Contemp. Math. Science, Vol. 7, 22, no. 35, 7-725 Data Mining with Linguitic Threhold Tzung-Pei Hong Department of Electrical Engineering National Univerity of Kaohiung Kaohiung, Taiwan, R.O.C.
More informationA System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems
International Journal of Performability Engineering Vol., No. 3, May 05, pp. 03-. RAMS Conultant Printed in India A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem
More informationHow to Select Measurement Points in Access Point Localization
Proceeding of the International MultiConference of Engineer and Computer Scientit 205 Vol II, IMECS 205, March 8-20, 205, Hong Kong How to Select Meaurement Point in Acce Point Localization Xiaoling Yang,
More informationPolicy-based Injection of Private Traffic into a Public SDN Testbed
Intitut für Techniche Informatik und Kommunikationnetze Adrian Friedli Policy-baed Injection of Private Traffic into a Public SDN Tetbed Mater Thei MA-2013-12 Advior: Dr. Bernhard Ager, Vaileio Kotroni
More informationOptimal Peer-to-Peer Technique for Massive Content Distribution
1 Optimal Peer-to-Peer Technique for Maive Content Ditribution Xiaoying Zheng, Chunglae Cho and Ye Xia Computer and Information Science and Engineering Department Univerity of Florida Email: {xiazheng,
More informationEthernet Peer-To-Peer Communication With Model 353 And Procidia i pac Controllers
iemen Energy & utomation pplication ata Ethernet Peer-To-Peer Communication With odel 353 nd Procidia ipac Controller 353-113 Rev. 1 July Ethernet i a leading form of network communication that i often
More informationTesting Structural Properties in Textual Data: Beyond Document Grammars
Teting Structural Propertie in Textual Data: Beyond Document Grammar Felix Saaki and Jen Pönninghau Univerity of Bielefeld, Germany Abtract Schema language concentrate on grammatical contraint on document
More informationA Local Mobility Agent Selection Algorithm for Mobile Networks
A Local Mobility Agent Selection Algorithm for Mobile Network Yi Xu Henry C. J. Lee Vrizlynn L. L. Thing Intitute for Infocomm Reearch, 21 Heng Mui Keng Terrace, Singapore 119613 Email: {yxu, hlee, vriz}@i2r.a-tar.edu.g
More informationToday s Outline. CS 561, Lecture 23. Negative Weights. Shortest Paths Problem. The presence of a negative cycle might mean that there is
Today Outline CS 56, Lecture Jared Saia Univerity of New Mexico The path that can be trodden i not the enduring and unchanging Path. The name that can be named i not the enduring and unchanging Name. -
More informationMotion Control (wheeled robots)
3 Motion Control (wheeled robot) Requirement for Motion Control Kinematic / dynamic model of the robot Model of the interaction between the wheel and the ground Definition of required motion -> peed control,
More informationMinimum congestion spanning trees in bipartite and random graphs
Minimum congetion panning tree in bipartite and random graph M.I. Otrovkii Department of Mathematic and Computer Science St. John Univerity 8000 Utopia Parkway Queen, NY 11439, USA e-mail: otrovm@tjohn.edu
More informationEmbedding Service Function Tree with Minimum Cost for NFV Enabled Multicast
1 Embedding Service Function Tree with Minimum ot for NFV Enabled Multicat angbang Ren, Student Member, IEEE, eke Guo, Senior Member, IEEE, Yulong Shen, Member, IEEE, Guoming Tang, Member, IEEE, Xu Lin,
More informationAnalysis of the results of analytical and simulation With the network model and dynamic priority Unchecked Buffer
International Reearch Journal of Applied and Baic Science 218 Available online at www.irjab.com ISSN 2251-838X / Vol, 12 (1): 49-53 Science Explorer Publication Analyi of the reult of analytical and imulation
More informationDomain-Specific Modeling for Rapid System-Wide Energy Estimation of Reconfigurable Architectures
Domain-Specific Modeling for Rapid Sytem-Wide Energy Etimation of Reconfigurable Architecture Seonil Choi 1,Ju-wookJang 2, Sumit Mohanty 1, Viktor K. Praanna 1 1 Dept. of Electrical Engg. 2 Dept. of Electronic
More informationTrainable Context Model for Multiscale Segmentation
Trainable Context Model for Multicale Segmentation Hui Cheng and Charle A. Bouman School of Electrical and Computer Engineering Purdue Univerity Wet Lafayette, IN 47907-1285 {hui, bouman}@ ecn.purdue.edu
More informationCENTER-POINT MODEL OF DEFORMABLE SURFACE
CENTER-POINT MODEL OF DEFORMABLE SURFACE Piotr M. Szczypinki Iintitute of Electronic, Technical Univerity of Lodz, Poland Abtract: Key word: Center-point model of deformable urface for egmentation of 3D
More informationADAM - A PROBLEM-ORIENTED SYMBOL PROCESSOR
ADAM - A PROBLEM-ORIENTED SYMBOL PROCESSOR A. P. Mullery and R. F. Schauer Thoma J. Waton Reearch Center International Buine Machine Corporation Yorktown Height, New York R. Rice International Buine Machine
More informationxy-monotone path existence queries in a rectilinear environment
CCCG 2012, Charlottetown, P.E.I., Augut 8 10, 2012 xy-monotone path exitence querie in a rectilinear environment Gregory Bint Anil Mahehwari Michiel Smid Abtract Given a planar environment coniting of
More informationCompressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit
Senor & randucer, Vol. 8, Iue 0, October 204, pp. 34-40 Senor & randucer 204 by IFSA Publihing, S. L. http://www.enorportal.com Compreed Sening Image Proceing Baed on Stagewie Orthogonal Matching Puruit
More information999 Computer System Network. (12) Patent Application Publication (10) Pub. No.: US 2006/ A1. (19) United States
(19) United State US 2006O1296.60A1 (12) Patent Application Publication (10) Pub. No.: Mueller et al. (43) Pub. Date: Jun. 15, 2006 (54) METHOD AND COMPUTER SYSTEM FOR QUEUE PROCESSING (76) Inventor: Wolfgang
More informationFrequency Table Computation on Dataflow Architecture
Frequency Table Computation on Dataflow Architecture P. Škoda *, V. Sruk **, and B. Medved Rogina * * Ruđer Bošković Intitute, Zagreb, Croatia ** Faculty of Electrical Engineering and Computing, Univerity
More informationES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK
ES05 Analyi and Deign of Engineering Sytem: Lab : An Introductory Tutorial: Getting Started with SIMULINK What i SIMULINK? SIMULINK i a oftware package for modeling, imulating, and analyzing dynamic ytem.
More informationShortest Path Routing in Arbitrary Networks
Journal of Algorithm, Vol 31(1), 1999 Shortet Path Routing in Arbitrary Network Friedhelm Meyer auf der Heide and Berthold Vöcking Department of Mathematic and Computer Science and Heinz Nixdorf Intitute,
More informationImplementation of a momentum-based distance metric for motion graphs. Student: Alessandro Di Domenico (st.no ), Supervisor: Nicolas Pronost
Implementation of a momentum-baed ditance metric for motion graph Student: Aleandro Di Domenico (t.no 3775682), Supervior: Nicola Pronot April 3, 2014 Abtract Thi report preent the procedure and reult
More informationAn Intro to LP and the Simplex Algorithm. Primal Simplex
An Intro to LP and the Simplex Algorithm Primal Simplex Linear programming i contrained minimization of a linear objective over a olution pace defined by linear contraint: min cx Ax b l x u A i an m n
More informationA PROBABILISTIC NOTION OF CAMERA GEOMETRY: CALIBRATED VS. UNCALIBRATED
A PROBABILISTIC NOTION OF CAMERA GEOMETRY: CALIBRATED VS. UNCALIBRATED Jutin Domke and Yianni Aloimono Computational Viion Laboratory, Center for Automation Reearch Univerity of Maryland College Park,
More informationISSN: (Online) Volume 3, Issue 4, April 2015 International Journal of Advance Research in Computer Science and Management Studies
ISSN: 2321-7782 (Online) Volume 3, Iue 4, April 2015 International Journal Advance Reearch in Computer Science and Management Studie Reearch Article / Survey Paper / Cae Study Available online at: www.ijarcm.com
More information