Microsemantics as a Bootstrap in Teaching Formal Methods
|
|
- Ursula Hall
- 5 years ago
- Views:
Transcription
1 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 provide a good preamble to formal method. Microemantic ue only the mot baic concept in formal mathematic, namely ubtitution, and therefore can be preented a early a the econd lecture of a frehman-level coure. It can ubequently erve a a boottrap for gradually introducing mot of the other fundamental concept of formal method, leading up to formal ytem pecification and deign. Keyword: calculational reaoning, domain-independent problem, formal method, lambda calculu, microemantic, tate equation, ubtitution, program emantic, teaching 1. INTRODUCTION In a recent paper [7], we argued that the bet way for making formal method widely accepted a a elf-evident part of profeional practice in computer-related area of engineering i by enuring that our educational intitution provide a maive injection of qualified people into indutry. Doing o require a curriculum where formal method are not taught in a few iolated coure, but rather where all coure et the example by ytematically uing mathematical modeling which, a Parna [15] aptly oberve, i the major ability ditinguihing profeional engineer from other deigner. Thi view underlie the common educational model in claical engineering, but many computer-related curricula and coure have coniderable catching up to do. Solid foundation upon which all other coure can rely clearly mut be laid at the tart of the curriculum. In order to make the inherently high abtraction level acceible to mot tudent, it i neceary to provide a variety of conceptual and application illutration and exercie. Yet, in the firt year mot tudent till have very limited domain-pecific (technical) knowledge. For thi and other reaon, it i advantageou to ue domain-independent example and problem [7]. The upply of uch problem i very rich and varied. However, the olution typically given are meant to how cleverne rather than ytematic formulation and reaoning. Often not only the reaoning tep but even the initial cating into mathematical formula i coare and ha eriou gap. Filling thoe gap, in both expreion and reaoning, contitute an added dimenion. In the ame paper [7], we alo conidered a cla of domain-independent problem or puzzle where the gap are due to the fact that the problem i tated procedurally or operationally, wherea the olution mut be uccinct and declarative. Here i an example of uch a problem, found on a lit of problem poted by Dahlke [8], but reformulated here for the ake of brevity. A chool ha 1000 tudent and an array of 1000 locker, all initially cloed. All tudent walk along the row one after the other, and the k th tudent invert the tate of every k th locker, that i: open the locker if it wa cloed and vice vera. How many locker are open in the end? Since claical mathematic ha no framework for decribing procedure, traditional olution make a fairly large jump from the informal procedural tatement to the mathematical equation from which the final olution i derived. Programming language on the other hand are uitable for expreing procedure, and hence can help in accurately formalizing the procedure expreed in word in the problem tatement. Here i uch a formalization for the preceding example: Teaching Formal Method: Practice and Experience, 15 December
2 for k in 1..K do (for n in 1..N do if (k divide n) then inv (L n) fi od) od, auming K tudent and an array L of N locker (defining inv for inverion i not relevant here). Yet, uing a programming language reduce only the gap between informal and formal problem tatement at the procedural level, but the gap between the procedure and the mathematical equation leading to the final olution remain and ha become even more viible. Clearly, the bridge from program to equation i provided by mathematical emantic. More pecifically, we need a formalim to derive, from a program text, mathematical equation that expre the program behavior. Thi amount to mathematically modeling a procedure in the ame pirit a an electronic engineer model a circuit by deriving, from the circuit diagram, mathematical equation that expre the circuit behaviour. To be uitable already within the firt week of a frehman-level coure, the formalim hould be very lightweight, and in proportion to the perceived implicity of the puzzle of interet. Our approach, firt outlined in [7], meet thi requirement, and i therefore named microemantic. The principle of microemantic, guideline for it ue and a few example are preented in ection 2, wherea ection 3 outline how it can be ued for boottrapping fundamental concept uch a equational reaoning, lambda calculu, propoitional and predicate logic, finally leading to formal ytem pecification and deign at the end of uch a coure. 2. MICROSEMANTICS For achieving the extremely lightweight formalim needed for the tated purpoe, we ue only the mot baic concept in formal mathematic, namely ubtitution, a decribed, for intance, by Grie and Schneider in [10, Chapter 1]. Thi i the limited toolkit aumed at thi tage. Subtitution Subtituting expreion d for variable v in expreion e i written e[ v d. An example: (x + 3 y)[ y z+1 = x + 3 (z + 1). We ue = for yntactic equality. A warning: if parenthee in d are omitted according to the uual convention, it may be neceary to reintate them for ubtitution, e.g., around z + 1 in the preceding example. By an obviou generalization, v and d may be tuple, a illutrated by (x + 3 y)[ x, y a y, z+1 = a y + 3 (z + 1). Multiple ( imultaneou ) ubtitution do not necearily have the ame a ucceive ubtitution. With the general convention that one may write e[ v c[ w d for (e[v c)[ w d, thi i hown by (x + 3 y)[ x a y[ y z+1 = (a y + 3 y)[ y z+1 = a (z + 1) + 3 (z + 1). One can ee [ v d a a (metalevel) yntactic operator on mathematical expreion. Program equation The tate i a tuple whoe element correpond to the program variable, in the order and with type a declared. Let be the tuple made from the variable themelve. Such a variable lit turn out to be ueful in unifying theorie [6] and in microemantic. The term command deignate intruction a well a entire program. A command c i modeled a a function from tate to tate, defined by an axiom of the form c = e. Thi i a familiar tyle for defining function in mathematic, a hown in defining quare by quare x = x x. Such axiom are ued or applied by intantiation [10, Chapter 1]; more pecifically, (c = e)[ d = c d = e[ d. For ubtitution, command are treated a function contant [10, Chapter 1], i.e., are not affected. Firt we conider the primitive command aignment (v := e), compoition (c ; c ), election (if b then c ele c fi), where c and c are command and b a boolean expreion: (v := e) = [ v e (1) (c ; c ) = c (c ) (2) (if b then c ele c fi) = b? c c. (3) Teaching Formal Method: Practice and Experience, 15 December
3 The lat right hand ide i a conditional expreion. It general form i b? e 1 e 0, read in word a if b then e 1 ele e 0 and formalized by the axiom (b? e 1 e 0 ) = e b where b i 0 or 1. Uing a the formal argument in (1) and (3) enure their imple and intuitive form; for (2) it i unimportant. The following are derived command, ince they can be defined in term of the primitive one. kip = (v := v) (or, a a primitive command, kip = ) (4) (if b then c fi) = (if b then c ele kip fi) (5) (while b do c od) = (if b then (c ; while b do c od) fi). (6) Oberve that microemantic i fully minimalit in the ene that it involve no other notation than the baic expreion and command that may occur in the imple program themelve and ubtitution. The machinery of denotational and axiomatic emantic, which may be intimidating if preented in the firt few week, i bypaed. Of coure, it can be introduced at a later tage. Guideline for ue and example A a matter of convention, we write program variable in typewriter font (e.g., x) and the matching tate variable in italic (e.g., x). Thi ditinction ha no calculational conequence and i for expoition only: if it help, fine, otherwie it can be afely ignored (which i convenient in handwriting, where the ditinction i eaily lot anyway). About aignment We tart with an example. Aume a program with variable x and y, declared a integer, o the tate i the pair (x, y). For the aignment x := x + y, (x := x + y) (x, y) = Axiom (1) (x, y)[ x x+y = Subtitut. (x + y, y). (7) Axiom (1) alo cover multiple aignment, i.e., of the form (v := e) where v i a tuple of variable and e i a tuple of expreion. An example i wapping two variable: (x, y := x, y) (x, y) = Axiom (1) (x, y)[ x,y y,x = Subtitut. (y, x). Intantiating correctly Clearly (x := x + y) (2, 3) = (5, 3) by intantiating the reult from (7). More generally, recall that intantiating c = e by [ d yield c d = e[ d and hence, for Axiom (1), (v := e) d = ([ v e)[ d. (8) Warning: it i tempting but wrong to write ([ v e)[ d a d[v e. Interetingly, thi warning i more relevant for advanced uer prone to kip tep than for beginner who tend to apply the rule meticulouly. About program tructure Oberve the tyle of (1.. 6), where c and c in turn tand for arbitrary command. By aying that the left hand ide (omitting ) are the only form for command, the yntax i pecified a well. More pecifically, the tructure of a program i decribed recurively in the ene that it i either the mot elementary command (i.e., an aignment), or a compoition of two command, or a election between two command. The latter command are again arbitrary: each of them can again be an aignment, a compoition or a election etc.. Axiom (1.. 6) illutrate how a (emantic) function can be defined by recurion on (program) tructure. About compoition At thi tage, we can prove an intereting algebraic program property: (c ; (c ; c )) = ((c ; c ) ; c ) (exercie). (9) Thi mean that (c ; (c ; c )) = ((c ; c ) ; c ), at leat for the particular tate emantic conidered in thi note. A i cutomary with aociative operator in mathematic, we make the parenthee in compoition optional. We alo make other parenthee optional inofar a replacing them i obviou (in a formalizable way). Thi give rie to an intereting illutration about handling yntactic and emantic ambiguity, dicued elewhere in the coure. The typical error to which we alluded in the warning about intantiating correctly i hown in the loppy calculation (c ; v := e) = (v := e) (c ) = (c )[ v e, wherea (8) yield the correct ([ v e)[ c. Teaching Formal Method: Practice and Experience, 15 December
4 It i intructive to exercie with ucceive aignment. An example i wapping x and y uing an auxiliary variable z, a done by the program z := x ; x := y ; y := z. Here i a fully detailed calculation for the final tate if the initial tate i x, y, z (exercie: uing a, b, c intead). (z := x ; x := y ; y := z) (x, y, z) = Ax. (2) (y := z) ((x := y) ((z := x) (x, y, z))) = Ax. (1) (y := z) ((x := y) (x, y, z)[ z x) = Subt. (y := z) ((x := y) (x, y, x)) = Ax. (1) (y := z) (x, y, z)[ x y[ x,y,z x,y,x = Subt. (y := z) (y, y, z)[ x,y,z x,y,x = Subt. (y := z) (y, y, x) = Ax. (1) (x, y, z)[ y z[ x,y,z y,y,x = Subt. (x, z, z)[ x,y,z y,y,x = Subt. (y, x, x). Thi how both the power of ubtitution (it can do the job all by itelf) and it limitation (tediou). Selection and iteration Familiarizing the tudent with election i fairly traightforward. The equation for loop are recurive, and therefore olving them i a good introduction to recurion and iteration. Thi i a topic for later in the coure, a outlined next. 3. MICROSEMANTICS FOR BOOTSTRAPPING FUNDAMENTAL CONCEPTS Microemantic provide a running example for gradually introducing the fundamental concept underlying formal method in an introductory coure. The following i jut an outline. Syntax, axiomatic, emantic, pragmatic Generally it i not a good idea to burden beginning tudent with technicalitie. However, microemantic offer opportunitie for giving a imple and concrete firt explanation about the ditinction and relation between yntax (here: expreion and command), axiomatic (formal calculation rule), emantic (variou view on meaning) and pragmatic (to what purpoe notation and rule are deigned in a particular way). Equational reaoning The earlier calculation already provide an example of equational reaoning, although it involve a purely yntactic (meta-)operator, namely, [ for ubtitution. The obviou next tep i equational reaoning involving only function and expreion in the language (baic mathematic), for which it uffice here to mention the the firt chapter in [10]. Lambda calculu Lambda notation i intuitive enough to be undertood a a finihed product. However, after microemantic one can provide an extra dimenion, howing how to re-invent lambda calculu from the pragmatic (uage) viewpoint by making optimal deign deciion. We tart by analogy with the convention of partial application [5] of mathematical operator. Thi mean that the application of an operator to part of it argument form an operator that can be applied to the ret 1. Uing thi convention for the meta-operator for ubtitution make the earlier [ v d one of the poible partial application. However, [v d ha v a a dangling reference, which permit only inelegant calculation rule. A different partial application that ha no dangling reference 2 and hence permit elegant calculation rule i e[ v. For thi, we adopt the alternative notation λv.e, which i the baic form for (impure) lambda term. Clearly, (λv.e)d = e[ v d. Now we can alo rewrite axiom of the form c = e a c = λ.e. For intance, axiom (1) can be written (v := e) = λ.(λv.)e. Similarly, lambda combinator can be deigned for compoition and election, which reader familiar with lambda calculu will ee a traightforward. Thi et the tage for preenting formal calculation rule for lambda term [2] followed by a firt introduction to variable-free expreion with combinatory logic [2] a an archetype, and generic functional [4] for practical ue. 1 Thi mut not be confued with currying: it pertain to an operator taking a tuple a it only argument, and a partial argument then conit of ome element of the tuple. 2 For the inider : not to be confued with free variable; thee may till be preent. Teaching Formal Method: Practice and Experience, 15 December
5 Propoitional and predicate logic A oon a program involve a few conditional and domain of dicoure other than baic arithmetic, the need for propoitional and predicate logic arie, and can be atified by the proper chapter in [10] or by our own functional variant [3, 5]. Induction A oon a program with loop are conidered, the equation decribing their behavior are recurive, and calculational reaoning about thi i bet upported by induction. We have found that notion about induction that tudent may have retained from previou coure, e.g., in high chool, may lead them into all kind of pitfall. Mot typical error amount to intantiating the induction hypothei. So here i the opportunity for etting thing traight by explaining the tructure of inductive proof, the relation with well-foundedne, variou proof tyle, other form of induction than over number only (tructural, e.g., over lit) and o on. Relation In the form preented, microemantic ue ante/pot function, which cover only determinitic program. By analogy with certain tate equation in elementary mechanic [6], we introduce ante-expreion e derived from expreion e by replacing all tate variable v by v (uing ante-quote), correponding to the tate before a command i executed. Note that, by thi convention, e = e[. Similarly, e = e[ for pot-expreion correponding to the tate after a command i executed. The functional model of the form c = e (for a command c) can thereby be generalized to a relational model of the form 3 c p a Hehner book [11] if only one kind of emantic i wanted, or R c p a in [6] if everal emantic are wanted. Hence relation pave the way to nondeterminitic program and formal pecification. Furthermore, at thi tage of the coure, a ufficient bai i available for dicuing extremal element (maximum and minimum, greatet and leat, upper and lower bound), the variou kind of ordering (preorder, partial order etc.) mot encountered in the theory and practice of programming, and the variou tyle of calculating with relation (point-wie, point-free). 4. RELATION TO OTHER COURSES AND TOPICS Formal pecification and deign of ytem For a firt-year coure, the preceding material will uually need preading over a complete emeter (ay, 2 lecture and 2 exercie eion 4 per week during 12 week) for allowing the tudent to develop adequate undertanding and kill. Yet, it would benefit from further conolidation and practicing by a econd emeter on formal ytem pecification and deign. The emphai can be on ytem theory and hybrid ytem (in the pirit outlined by Lee and Varaiya [14]) or on oftware ytem (program emantic, model checking etc. [13]) depending on whether the coure i meant to be EE or CS oriented. Coure on programming Optimally, a coure a outlined in Section 3 hould tart no later than introductory programming, allowing the latter to be taught with proper foundation and attitude. Moreover, for introductory programming, functional language would be mot uitable, although few univeritie eem to have the courage to make uch a deciion. It functional tyle make microemantic a convenient early link between imperative and functional language. However, it i meant only a a boottrap auming minimal prerequiite, wherea, for realitic program derivation, practical method in the line of axiomatic emantic mut be covered [6, 11]. Coure on formal emantic Formal emantic i to the oftware engineer what device and circuit theory i to the electronic engineer. It elimination from certain curricula (in favor of baic coure on programming language that any engineering or CS tudent hould be able to learn independently a part of the preparation for the exercie eion of other coure) i unjutified. However, a coure a outlined in Section 3 would lower the threhold for (re-)introducing formal emantic in the pirit of unifying theorie of programming [6, 12] Taking microemantic a an introductory example, it unification with axiomatic emantic wa outlined earlier in the context of relation. Here we outline it unification with the claical denotational tyle. Let the denotational-tyle meaning function be C for command and E for expreion. For intance, for ingle-variable aignment, C (v := e) σ = (v E e σ) > σ where, 3 Aide: Hehner doe not ue antequote, and jut write. In [6] we how when and how antequote are convenient. 4 Auming 75 minute each, the tandard at Ghent Univerity. Arguably, for lecture 3 x 50 min. i better than 2 x 75 min. Teaching Formal Method: Practice and Experience, 15 December
6 a uual (up to notational difference), the tate σ i a function from variable to denotation, make maplet, and > i function overriding. Since the interpretation of mathematical equation i common to both emantic and hence trivial for the unification, we factorize it out and take the common denotation domain to be the et of expreion, keeping everything purely yntactic. Writing µ for the mapping from denotational-tyle tate to microemantic-tyle tate, unification i etablihed by proving µ (C c σ) = M c (µ σ) for any command c and denotational-tyle tate σ, where we made the microemantic denotation function M explicit jut to eliminate it hitherto privileged tatu. For intance, for aignment we mut prove µ ((v E e σ) > σ) = ([ v e)[ µ σ. Uing the propertie of generic functional [4], thi take only a few line. 5. CONCLUSIONS We have outlined how a firt-year preamble to formal method can be contructed around microemantic. Of coure, for the ake of diverity, other kind of application example and problem mut be included a well, preferably domain-independent [7] for the majority, but alo ome domain-pecific cae requiring only prior knowledge from high chool or parallel coure. Our own coure of thi kind [3] emphaize clean formalization and calculational reaoning [10] right from the beginning, placing the inight gained from Computing Science [9] at the dipoal of our tudent. Avoiding poor practice i alway eaier than correcting them afterward. A final practical remark: microemantic i too recent for having been incorporated in [3], but will appear in a future verion. We hope that, meanwhile, other teacher may benefit from the idea. REFERENCES [1] Roland Backhoue (2005), Algorithmic Problem Solving. Lecture Note, Univerity of Nottingham. On the web: [2] Henk P. Barendregt (1984), The Lambda Calculu, It Syntax and Semantic, North-Holland. [3] Raymond Boute (2002), Functional Mathematic: a Unifying Declarative and Calculational Approach to Sytem, Circuit and Program Part I. Coure note, Ghent Univerity. On the web via [4] Raymond Boute (2003), Concrete Generic Functional: Principle, Deign and Application, in: Jeremy Gibbon and Johan Jeuring, ed., Generic Programming, , Kluwer. [5] Raymond Boute (2005), Functional declarative language deign and predicate calculu: a practical approach, ACM Tran. Prog. Lang. Syt., 27, [6] Raymond Boute (2006), Calculational emantic: deriving programming theorie from equation by functional predicate calculu, ACM Tran. Prog. Lang. Syt., 28, [7] Raymond Boute (2006), Uing Domain-Independent Problem for Introducing Formal Method, in: Jayadev Mira, Tobia Nipkow, Emil Sekerinki, ed., FM 2006: Formal Method, Springer LNCS [8] Karl Dahlke, Fun and Challenging Math Problem for the Young, and Young At Heart, on the web: [9] Edger W. Dijktra (1990), How Computing Science created a new mathematical tyle, EWD Univerity of Texa at Autin. On the web: [10] David Grie and Fred Schneider (1993), A Logical Approach to Dicrete Math. Springer. [11] Eric C. R. Hehner (2004), A Practical Theory of Programming (2nd edition). Springer. Regularly updated verion on the web: [12] C. Antony R. Hoare, He Jifeng (1998), Unifying Theorie of Programming. Prentice-Hall. [13] Lelie Lamport (2002), Specifying Sytem: The TLA+ Language and Tool for Hardware and Software Engineer. Addion-Weley. [14] Edward A. Lee and Pravin Varaiya (2000), Introducing Signal and Sytem The Berkeley Approach. Firt Signal Proceing Education Workhop, Hunt, Texa, Oct On the web: [15] David L. Parna (1993), Predicate Logic for Software Engineering, IEEE Tran. SWE, 19, Teaching Formal Method: Practice and Experience, 15 December
A 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 informationOperational 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 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 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 informationAspects of Formal and Graphical Design of a Bus System
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
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 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 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 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 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 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 informationSelect Operation (σ) It selects tuples that satisfy the given predicate from a relation (choose rows). Review : RELATIONAL ALGEBRA
Review : RELATIONAL ALGEBRA Relational databae ytem are expected to be equipped with a query language that can ait it uer to query the databae intance. There are two kind of query language relational algebra
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 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 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 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 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 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 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 informationDescription of background ideas, and the module itself.
CO3008 Semantic of Programming Language 1 Chapter 1 Decription of background idea, and the module itelf. Review ome mathematic. CO3008 Semantic of Programming Language 2 Overview: Background Introduction
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 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 informationMAT 155: Describing, Exploring, and Comparing Data Page 1 of NotesCh2-3.doc
MAT 155: Decribing, Exploring, and Comparing Data Page 1 of 8 001-oteCh-3.doc ote for Chapter Summarizing and Graphing Data Chapter 3 Decribing, Exploring, and Comparing Data Frequency Ditribution, Graphic
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 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 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 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 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 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 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 informationDrawing Lines in 2 Dimensions
Drawing Line in 2 Dimenion Drawing a traight line (or an arc) between two end point when one i limited to dicrete pixel require a bit of thought. Conider the following line uperimpoed on a 2 dimenional
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 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 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 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 informationRepresentations and Transformations. Objectives
Repreentation and Tranformation Objective Derive homogeneou coordinate tranformation matrice Introduce tandard tranformation - Rotation - Tranlation - Scaling - Shear Scalar, Point, Vector Three baic element
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 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 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 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 informationA note on degenerate and spectrally degenerate graphs
A note on degenerate and pectrally degenerate graph Noga Alon Abtract A graph G i called pectrally d-degenerate if the larget eigenvalue of each ubgraph of it with maximum degree D i at mot dd. We prove
More informationCORRECTNESS ISSUES AND LOOP INVARIANTS
The next everal lecture 2 Study algorithm for earching and orting array. Invetigate their complexity how much time and pace they take Formalize the notion of average-cae and wort-cae complexity CORRECTNESS
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 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 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 informationThe norm Package. November 15, Title Analysis of multivariate normal datasets with missing values
The norm Package November 15, 2003 Verion 1.0-9 Date 2002/05/06 Title Analyi of multivariate normal dataet with miing value Author Ported to R by Alvaro A. Novo . Original by Joeph
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 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 informationQuadrilaterals. Learning Objectives. Pre-Activity
Section 3.4 Pre-Activity Preparation Quadrilateral Intereting geometric hape and pattern are all around u when we tart looking for them. Examine a row of fencing or the tiling deign at the wimming pool.
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 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 informationMulti-Target Tracking In Clutter
Multi-Target Tracking In Clutter John N. Sander-Reed, Mary Jo Duncan, W.B. Boucher, W. Michael Dimmler, Shawn O Keefe ABSTRACT A high frame rate (0 Hz), multi-target, video tracker ha been developed and
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 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 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 informationContents. shortest paths. Notation. Shortest path problem. Applications. Algorithms and Networks 2010/2011. In the entire course:
Content Shortet path Algorithm and Network 21/211 The hortet path problem: Statement Verion Application Algorithm (for ingle ource p problem) Reminder: relaxation, Dijktra, Variant of Dijktra, Bellman-Ford,
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 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 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 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 informationMidterm 2 March 10, 2014 Name: NetID: # Total Score
CS 3 : Algorithm and Model of Computation, Spring 0 Midterm March 0, 0 Name: NetID: # 3 Total Score Max 0 0 0 0 Grader Don t panic! Pleae print your name and your NetID in the boxe above. Thi i a cloed-book,
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 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 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 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 informationGray-level histogram. Intensity (grey-level) transformation, or mapping. Use of intensity transformations:
Faculty of Informatic Eötvö Loránd Univerity Budapet, Hungary Lecture : Intenity Tranformation Image enhancement by point proceing Spatial domain and frequency domain method Baic Algorithm for Digital
More informationarxiv: v1 [cs.ds] 27 Feb 2018
Incremental Strong Connectivity and 2-Connectivity in Directed Graph Louka Georgiadi 1, Giueppe F. Italiano 2, and Niko Parotidi 2 arxiv:1802.10189v1 [c.ds] 27 Feb 2018 1 Univerity of Ioannina, Greece.
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 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 informationLaboratory Exercise 1
Laboratory Eercie Switche, Light, and Multipleer The purpoe of thi eercie i to learn how to connect iple input and output device to an FPGA chip and ipleent a circuit that ue thee device. We will ue the
More informationCS201: Data Structures and Algorithms. Assignment 2. Version 1d
CS201: Data Structure and Algorithm Aignment 2 Introduction Verion 1d You will compare the performance of green binary earch tree veru red-black tree by reading in a corpu of text, toring the word and
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 informationShortest Paths with Single-Point Visibility Constraint
Shortet Path with Single-Point Viibility Contraint Ramtin Khoravi Mohammad Ghodi Department of Computer Engineering Sharif Univerity of Technology Abtract Thi paper tudie the problem of finding a hortet
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 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 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 informationParameters, UVM, Coverage & Emulation Take Two and Call Me in the Morning
Parameter, UVM, Coverage & Emulation Take Two and Call Me in the Morning Michael Horn Mentor Graphic Corporation Colorado, USA Mike_Horn@mentor.com Bryan Ramirez Mentor Graphic Corporation Colorado, USA
More informationStress-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling
Stre-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling Menter F.R. ANSYS Germany GmbH Introduction It i oberved in many CFD imulation that RANS model how inherent technology limitation
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 informationKS3 Maths Assessment Objectives
KS3 Math Aement Objective Tranition Stage 9 Ratio & Proportion Probabilit y & Statitic Appreciate the infinite nature of the et of integer, real and rational number Can interpret fraction and percentage
More informationUsing Mouse Feedback in Computer Assisted Transcription of Handwritten Text Images
2009 10th International Conference on Document Analyi and Recognition Uing Moue Feedback in Computer Aited Trancription of Handwritten Text Image Verónica Romero, Alejandro H. Toelli, Enrique Vidal Intituto
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 informationA Sparse Shared-Memory Multifrontal Solver in SCAD Software
Proceeding of the International Multiconference on ISBN 978-83-6080--9 Computer Science and Information echnology, pp. 77 83 ISSN 896-709 A Spare Shared-Memory Multifrontal Solver in SCAD Software Sergiy
More informationRegion analysis and the polymorphic lambda calculus
Region analyi and the polymorphic lambda calculu Anindya Banerjee Steven Intitute of Technology ab@c.teven-tech.edu Nevin Heintze Bell Laboratorie nch@bell-lab.com Jon G. Riecke Bell Laboratorie riecke@bell-lab.com
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 informationCourse Project: Adders, Subtractors, and Multipliers a
In the name Allah Department of Computer Engineering 215 Spring emeter Computer Architecture Coure Intructor: Dr. Mahdi Abbai Coure Project: Adder, Subtractor, and Multiplier a a The purpoe of thi p roject
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 informationHOW TO WRITE THE PROCEEDINGS AS A PKAS PAPER
Publication of the Korean Atronomical Society pissn: 1225-1534 / eissn: 2287-6936 00: 1 99, 2015 January http://dx.doi.org/10.5303/pkas.2015.00.0.1 c 2015. The Korean Atronomical Society. All right reerved.
More informationThe Set Constraint/CFL Reachability Connection in Practice
The Set Contraint/CFL Reachability Connection in Practice John Kodumal EECS Department Univerity of California, Berkeley jkodumal@c.berkeley.edu Alex Aiken Computer Science Department Stanford Univerity
More informationObjects and Classes. The Big Picture. Classes. Objects. Some paradigms of programming:
Object and Clae The Big Picture Some paradigm of programming: Imperative Programming ue explicit loop, conditional, variable Three paradigm of programming we cover in CS111. Functional Programming Ue function
More informationLemma 1. A 3-connected maximal generalized outerplanar graph is a wheel.
122 (1997) MATHEMATICA BOHEMICA No. 3, 225{230 A LINEAR ALGORITHM TO RECOGNIZE MAXIMAL GENERALIZED OUTERPLANAR GRAPHS Jo C cere, Almer a, Alberto M rquez, Sevilla (Received November 16, 1994, revied May
More informationFloating Point CORDIC Based Power Operation
Floating Point CORDIC Baed Power Operation Kazumi Malhan, Padmaja AVL Electrical and Computer Engineering Department School of Engineering and Computer Science Oakland Univerity, Rocheter, MI e-mail: kmalhan@oakland.edu,
More informationMarkov Random Fields in Image Segmentation
Preented at SSIP 2011, Szeged, Hungary Markov Random Field in Image Segmentation Zoltan Kato Image Proceing & Computer Graphic Dept. Univerity of Szeged Hungary Zoltan Kato: Markov Random Field in Image
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 informationObjects, Classes, and Inheritance
Object, Clae, and Inheritance CS111 Computer Programming Department of Computer Science Welleley College The Big Picture Some paradigm of programming: o Imperative Programming Program pecified by conditional,
More informationExploring Simple Grid Polygons
Exploring Simple Grid Polygon Chritian Icking 1, Tom Kamphan 2, Rolf Klein 2, and Elmar Langetepe 2 1 Univerity of Hagen, Praktiche Informatik VI, 58084 Hagen, Germany. 2 Univerity of Bonn, Computer Science
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 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 informationStochastic Search and Graph Techniques for MCM Path Planning Christine D. Piatko, Christopher P. Diehl, Paul McNamee, Cheryl Resch and I-Jeng Wang
Stochatic Search and Graph Technique for MCM Path Planning Chritine D. Piatko, Chritopher P. Diehl, Paul McNamee, Cheryl Rech and I-Jeng Wang The John Hopkin Univerity Applied Phyic Laboratory, Laurel,
More informationA New Approach to Pipeline FFT Processor
A ew Approach to Pipeline FFT Proceor Shouheng He and Mat Torkelon Department of Applied Electronic, Lund Univerity S- Lund, SWEDE email: he@tde.lth.e; torkel@tde.lth.e Abtract A new VLSI architecture
More information