CTL Property Checking Based on a New High Level Model Without Equation Solving
|
|
- Suzanna Blankenship
- 6 years ago
- Views:
Transcription
1 CTL Property Checkng Based on a New Hgh Level Model Wthout Equaton Solvng BIJAN ALIZADEH ZAINALABEDIN NAVABI Electrcal and Computer Engneerng Unversty o Tehran Buldng #2, North Kargar Ave, Faculty o Engneerng IRAN Abstract: - Ths paper descrbes the use o lnear taylor expanson dagrams or hgh level modelng dgtal crcuts or applcaton o ormal vercaton propertes at ths level. In our method, a behavoral state machne s represented by a multplexer based structure o lnear nteger equatons, and RT level propertes are drectly appled to ths representaton. Ths reduces the need or large BDD data structures and uses ar less memory. Furthermore, ths method s appled to crcuts wthout havng to separate ther data and control sectons. For ths mplementaton, we use a canoncal orm o lnear TED []. Ths paper compares our results wth those o the VIS vercaton tool that s a BDD based program. Key-Words: - Symbolc Model Checkng, Lnear TED, Equaton Solvng, Canoncal Form. Introducton On one hand, ormal methods provde exhaustve coverage o hardware behavor. On the other hand the desgner requres automated vercaton tools at hgher levels o abstracton [2, 3, 4] to very the desgn at the early stages o desgn low. So ormal vercaton methods such as symbolc model checkng have become mportant or RT or behavoral level vercaton. Most o methods use BDDs to represent the set o states and the state transton unctons [5, 6, 7]. The BDD technques may stll suer rom the memory exploson problem when the applcaton s a large datapath. Other hgh level data structures have been proposed to check equvalency o two crcuts, but they have not been used to do property checkng [8]. Bere et al. [9] propose an alternatve, symbolc model checkng approach by usng the Boolean satsablty (SAT) technques. Because o the low abstracton level BDDs, processng tme o crcuts represented as such becomes orbddngly hgh or large crcuts. Cheng et al. [0] propose a hybrd ATPG modular arthmetc constrant solvng technque or asserton checkng. However the arthmetc constrant solver s lmted to lnear constrants arsng rom adders, subtractors and multplers wth one constant nput. Fallah [] proposed a hybrd satsablty approach, HSAT, to generate unctonal test vectors or RTL desgns. Ths hybrd method generates lnear arthmetc constrants (LACs), or arthmetc operators, and conjunctve normal orm clauses or Boolean logc. Brnkmann et al. [2] use Fallah s method and propose a method or transormng conjunctons o btvector equaltes and nequaltes nto equvalent conjunctons o equatons and dsequatons n nteger lnear arthmetc. Ths method s just appled to datapath and there s necessary to use an ILP solver. Instead o usng FSMs as behavor and bt or bt vectors as data, we present a hgh level model based on lnear nteger equatons that uses nteger numbers as data and s ecent to do symbolc model checkng algorthms wth nteger data. For ths work, we use VHDL to descrbe a desgn and a subset o CTL ormat to descrbe propertes [7, 3]. Steps nvolved are extracton o a Data Flow Graph (DFG) o a desgn [4], convertng the DFG to lnear TED (LTED), and then provng the property. For evaluaton o ths work, we have
2 developed a Vsual C++ program that uses a VHDL ront. The program uses the CHIRE ntermedate ormat [5]. The man advantages o our technque are as ollows. Frst, our technque uses a hgh level model nstead o FSM, so we are able to check CTL based propertes very ecently n terms o CPU tme and memory usage, as compared wth the BDD based approaches. Second, our model can be used as a sutable model n system level vercaton to very nterconnecton o macro components. Thrd, our method does not need to solve nteger equatons explctly [9, 0, 2, 4]. Fourth, our technque can be appled to behavoral level and thereore we do not have to separate datapath and controller when the desgn becomes large. Ths paper descrbes our work n ve sectons. Secton 2 presents how to construct LTED as a canoncal representaton o expressons and Secton 3 shows how to convert DFG to LTED and then n Secton 4 we show whch subset o CTL wll be used as property. Secton 5 presents algorthms to check some basc propertes n our model. Secton 6 gves expermental results or some examples. Last secton presents a short concluson o ths work. 2 Lnear TED The LTED structure ncludes Varable, Constant, Branch, Unon and nodes. In ths representaton the algebrac expresson F(x,y, ) wll be represented by constant and lnear terms o Taylor seres expanson [], Equaton (), where const s some parts o F(x,y, ), whch are ndependent o varable x and lnear s some parts o F(x,y, ) that depend on varable x. The varable x s top varable o F(x,y, ) []. F ( x, y,...) const + x( lnear) () For representng relatonal expresson, we have just added relatonal operators, ncludng E (equal to zero), NE (not equal to zero) and GE (greater or equal to zero), to the LTED node. Each Varable node has a constrant eld whch ndcates ts range. For example consder varable as a bt type, so ts constrant eld ndcates 0. A Branch node has three elds, ncludng, and, where s a relatonal expresson,.e. CLTED node, and other elds are a LTED node. The unctonalty o a Branch node s ndcated by Equaton (2). F & + & (2) A Unon or node has two elds, ncludng Let chld and Rght chld, where these elds are LTED node. 2. Constructon o the LTED Our method needs two LTEDs called Orgnal LTED (OLTED) and Canoncal LTED (CLTED). OLTED and CLTED are drected acyclc graphs (F, B, V, E, T) and (F, U, I, V, E, T) respectvely, representng a compound o algebrac and relatonal expressons, where F s a top uncton, B s a set o Branch nodes, U s a set o Unon nodes, I s a set o nodes, V s a set o Varable nodes, E s a set o drected weghted edges connectng the nodes, and T s a set o Constant nodes. The next state and output unctons wll be shown by OLTED. CLTED s constructed when Branch nodes are converted to Unon and nodes based on Equaton (2). It happens when and elds have been converted to relatonal expressons. 2.2 LTED operatons In ths secton we are gong to descrbe how addton, subtracton, multplcaton, unon and ntersecton o two LTEDs are perormed. The addton and multplcaton operators are appled smlar to TED s ADD and MULT [] when two OLTEDs are not Branch nodes. Otherwse and elds o Branch node wll be added to (multpled by) another node as and elds o result respectvely. At ths pont two Branch nodes wth same elds wll be dstngushed to make a smpler LTED node. The unon and ntersecton operators are dened or CLTED. So we suppose two CLTEDs are algebrac expressons wth two varables ncludng relatonal operators. We must consder ollowng cases: Unon:
3 . None o nodes s Unon or, u,v V. We consder two LTEDs as two lnear equatons. Ater that we consder derent condtons o two lnear equatons to eachother. I two lnear equatons are parallel, value o coecents wll specy whch equaton s above or let hand sde o the other. Relatonal operator ndcates drecton o two equatons. At the end, we decde unon area based on relatonal operator. For example consder two lnear equatons I: +2-0 and II: Two lnes are parallel, same drectons,.e. UP, and the second one s below o the rst one. So unon o them wll be the second one. 2. Otherwse, ths procedure s called recursvely to compute OR o two CLTED nodes whch can be Unon or nodes. Ths computaton s the same as boolean unctons computaton. :. None o nodes s Unon or, u,v V. We consder two LTEDs as two lnear equatons. Ater that we consder derent condtons o two lnear equatons to eachother as explaned n Unon part. At the end, we decde ntersecton area based on relatonal operator. For example consder two lnear equatons I: +2-0 and II: agan. The o them wll be the rst one. 2. Otherwse, ths procedure s called recursvely to compute AND o two CLTED nodes whch are Unon or nodes. 2.3 Canoncal Form In ths secton we want to specy why CLTEDs are canoncal. I CLTED only ncludes Varable and Constant nodes, canoncty o TED [] s an evdence that CLTED s canoncal too. I we add relatonal operators to CLTED node, t wll reman canoncal yet, because we consder areas that are covered by two CLTEDs to compare two CLTED nodes. For example consder two LTED nodes - 0 and 0, where s a bt. Constrant 0 wll be consdered because o bt type. On the other hand 0 shows ( > 0 or < 0). When constrant s appled to ( > 0 or < 0), we wll have - 0. I CLTED ncludes Unon and nodes, It wll be canoncal yet, because we rst transer Varable, Constant and nodes to leaves o the tree and then transer Unon nodes to root o tree. On the other hand, we transorm Unon nodes to a unque orm, whch only ncludes another Unon node on ts Let-Chld sub term, and there wll be an, Varable or Constant node on ts Rght-Chld sub term. In the other word, we wll just have Unon nodes n Let-Chld part o each Unon node. Also Varable nodes are ordered rom LetChld to RghtChld n each Unon and nodes. Therore CLTEDs ncludng Unon and nodes wll be canoncal. Z Unon Z Unon Fg.. Unon and representaton For example, Fg. shows F (Z ) (Z ) ( ) as a ormula, where orderng o propostons s Z > >. 3 DFG to LTED converson The rst task s the DFG extracton [see 4]. Ater DFG extracton, we are ready to translate t to LTED. In our method, the desgn to be analyzed s represented as a system D (I, PS, NS, O, PF) wth a set o nputs I, a set o present states PS( v, v2,..., vn ), a set o next states ' ' ' NS( v, v 2,..., v n ), a set o outputs O( o, o2,..., om ), and a set o compound algebrac and relatonal expressons whch are related to next state and output unctons and are shown as Equaton (3).
4 v v... v ' ' 2 ' n ns ns 2 nsn o o o 2 m... o o 2 om (3) Next state and output unctons n DFG have multplexer based structure, whch wll be n oneto-one correspondence wth Branch node n OLTED. Thereore we can make next state and output unctons accordng to LTEDs and called them lst o TedState. The lst o TedState ncludes Id o next state varable, Id o related present state varable and value o next state varable as a LTED node. The Id o present state varable wll be there s an output or ntermedate varable as next state varable. As an example o our LTED, consder the Greatest Common Dvsor (GCD) example. The GCD algorthm s very smple: two arguments are mutually subtracted tll they become equal each other. Fg.2 shows LTED node, extracted or the nxt - 3 > 0. Ths relatonal expresson, as a OLTED node, can convert to a CLTED, accordng to Equaton (2) G - G - - GE a E Reset - Fg.2. LTED o (nxt 3 > 0) G E Start - 4 CTL subset as property We consder property as a general orm o P > Q by the ollowng grammer: P :: (P) P P P P P Varable Integer Value Q :: P E(Q) EG(Q) EF(Q) Where P s assumpton part and Q s commtment part. The most advantage o ths orm o property s that there s not necessary to take nto account the reachable state space whle provng the exstence o a path satsyng certan condtons. Ths s because the desgner speces some condtons as ntal states n assumpton E nxt part o property and thereore each property wll be checked rom ntal condtons that were speced explctly. It s clear that we can check ths subset o CTL, we wll be able to check CTL completely. 5 CTL Property Checkng n Desgn An overall vew o the CTL property checkng s shown n Fg.3. Frst, we extract LTEDs o next state and output unctons rom a syntheszed desgn. On the other hand, we extract tree structure o the Q part to specy what vercaton procedures need to be called at each level o the tree. We start satsyng a property set rom propostons or sub-ormulas to the man ormula. Four procedures, CheckCombnatonal, CheckE, CheckEG and CheckEF perorm the task o vercaton o ths lowchart. VHDL Code D FG E xtracton DFG To LTED Call Procedure n Fgures 4, 5, 6, 7 Fg.3. Flowchart o our work CTL Property ( P>Q) Extract Parse Tree o Q Converton to LTED Fg.4 shows the CheckCombnatonal procedure n the lowchart o Fg.3. When the Q part o a property s combnatonal,.e. wthout state operators, we must replace ntermedate varables by ther value speced n lst o TedState, and then convert t to CLTED. Ater that P part o property wll be elmnated rom computed CLTED. At the end o the procedure, CLTED equatons that ndcate condtons needed to satsy the property wll be returned. CheckCombnatonal (LTED Q). Replace ntermedate varables n Q by ther value elds rom lst o TedState 2. Convert Q to CLTED and smply t (Satsy t) 3. Elmnate P part rom CLTED n step 2 4. Return computed CLTED Fg.4. Combnatonal part
5 To elmnate one CLTED, e.g. u, rom another CLTED, e.g. v, we recursvely perorm ths procedure tll both o them become Varable nodes. At ths pont, ntersecton o u and v s one o them, wll be returned. Otherwse ntersecton result wll be returned. I u s or Unon node, ths procedure s called recursvely or u.let and u.rght. Fg.5 shows the CheckE procedure n the lowchart o Fg.3. When the Q part o a property only uses the next-state operator (), correctness o the property s checked n three major steps. CheckE (LTED Q). Replace present state and ntermedate varables n Q by ther value elds rom lst o TedState 2. Convert new Q to CLTED and smply t 3. Check P part s subset o CLTED rom step 2 4. Return computed CLTED Fg.5. Next State() operator These steps are current state varables to next state varables convertng, next state varables replacng and smplyng. Smplcaton s perormed based on and Unon operators whch were descrbed n secton 2.2. I P part s subset o result, ths part o vercaton s O.K. and return result as a CLTED node. Else vercaton has been aled. To specy one CLTED, e.g. u, s subset o another CLTED, e.g. v, we perorm ths procedure recursvely untl u and v become Varable nodes. Under ths condton, unon o them s the second one,.e. v, t means that u s subset o v. I u s node and u.let and u.rght are subset o v, then u wll be subset o v. I u s Unon node and u.let or u.rght s subset o v, then u wll be subset o v. Fg.6 llustrates the CheckEG procedure n the lowchart o Fg.3. When the Q part o a property only uses all states operator (G) we should compute Equaton (4). Z + Q E ( Z ); Z Q (4) In each teraton we wll compute E( Z ) n three major steps as prevously descrbed. Completon o the procedure s ndcated by Z Z +. When ths happens, equatons wll be returned that ndcate condtons needed to satsy the property beng vered. The Lmtaton parameter s number o states o the desgn. The rst mportant pont n ths algorthm s that Z + are computed by the ntersecton o Q and Z. We can dene the ntersecton o Q and Z, because they are both n terms o CLTEDs. Another mportant pont n ths algorthm s that P part exsts, t must be subset o the rst CheckE( ) to contnue algorthm. Z CheckEG (P,Q: CLTED, Lmtaton: nt) Z Q ( ) For ( 0 ; < Lmtaton ; ++ ) exz CheckE( Z ); ( 0 && P!NULL ) (P s not subset o exz) return 0; Elmnate Inputs rom exz; Z exz AND Q; + ( Z + Z ) return ; Z Z ; + retrun 0; Fg.6. All States (G) operator Fg.7 llustrates the CheckEF procedure n the lowchart o Fg.3. When the Q part o a property only uses eventually state operator (F) we should compute Equaton (5). Z + Q E ( Z ); Z Q (5) CheckEF (P,Q: CLTED, Lmtaton: nt) Z Q ( ) For ( 0 ; < Lmtaton ; ++ ) exz CheckE( Z ); Elmnate Inputs rom exz; Z exz OR Q; + ( P! NULL ) (P s subset o Z ) + return ; else ( Z + Z ) return ; Z Z ; + retrun 0; Fg.7. Eventually State (F) operator
6 In each teraton we wll compute E( Z ) n three major steps as prevously descrbed. Completon o the procedure s ndcated by Z Z + or P Z. When ths happens, + CLTED equatons wll be returned that ndcate condtons needed to satsy the property beng vered. Important pont n ths algorthm s that Z are computed by the unon o Q and + Z. Another mportant pont n ths algorthm s that P part exsts, completon o the procedure wll be speced by P Z +. 6 Expermental Results We wll very derent propertes on ve examples ncludng the Trac Lght Control (TLC), Greatest Common Dvsor (GCD), Elevator(EL), 2-Clent Arbter(2CA) and a Specal Counter (SC). The SC example s a 3-bt counter but there s a eedback rom state 5 to state 4 when nput I s. TLC Propertes:. start 0 > E(hwy_lght GREEN). Ths property means that start s zero, then a path exsts where hwy_lght wll be green at the next state. 2. start 0 > EG(hwy_lght GREEN). Ths property wll not be passed. 3. EG(hwy_lght GREEN & arm_lght GREEN). Ths property wll be aled. 4. arm_lght RED > EF(arm_lght GREEN). GCD Propertes:. Reset 0 & 3 > EF( ) > EG( < ). Ths property ndcates that 2 then a path exsts that wll always becomes less than. Ths property s not correct and wll not be passed. Table. Comparson wth VIS 3. Reset 0 & 2 > E2(Reset ). 4. Reset 0 & > 2 > E( > ). SC Propertes:. Count 7 > E(Count > 7). Ths property wll be aled. 2. Count 6 > E2(Count 0). Ths says that Count s 6 then a path exsts that Count wll be zero two states later. 3. Count 5 > EF(Count 6). 4. Count 3 > EG(Count > 3). EL Propertes:. EG(door OPEN). Ths property wll be aled. 2. EG(drecton UP). 3. EF(door CLOSED). 4. nb > EF(open_next ). Ths property means that button o rst loor has been pushed, a path exsts that sgnal open_next wll eventually become actve. Ths sgnal shows that elevator must be stopped at the next locaton. 2CA Propertes:. EF(ack ). Ths property means that a path exsts where acknowledgement o rst clent wll eventually become actve. 2. req 0 > EG(cntl BUS). Ths property wll be aled. 3. EF(cntl BUS & cntl2 BUS). Ths property s not correct. 4. cntl2 IDLE > E(cntl2 READ). Table compares our results wth those o the VIS vercaton tool [6]. As shown n the table, we have acheved less memory usage and CPU tme. In TLC example, Property consumed 0.0 second n comparson o 0. second by VIS on a Pentum III system wth 256MB RAM. Also memory usage n our method s 5.3MB that s less than 0.MB used by VIS. In example GCD, none o propertes can be checked because VIS does not support them. In example EL the last property s not supported (NS n Table ) by VIS because t ncludes condton on nput sgnal. Crcut TLC GCD SC EL 2CA Cpu Tme Property (second) Our Method VIS 0. Not Supported Cpu Tme Property2 (second) Our Method VIS.2 NS Cpu Tme Property3 (second) Our Method VIS 9.2 NS Cpu Tme Property4 (second) Our Method VIS 0.9 NS 0.56 NS 0. Number o Nodes( LTED,BDD) Our Method VIS Memory Usage (MegaByte) Our Method VIS
7 The GCD example shows mportant results whch s an evdence that our method work on datapath applcatons very well. Table shows that a BDD based approach,.e. VIS, uses 36MB memory and generates BDD nodes or 8 bt nput numbers, but our method uses 4.5MB memory and generates 32 LTED nodes. It seems to be clear that our method can accept word level propertes, but BDD based approach can not. Notce we have used Wndows-based VIS and CPU tme n VIS s just related to some parts o VIS that calls E, EG or EF unctons and s not CPU tme o all parts o VIS. In order to compute these tmes, we have added approprate VIS unctons to VIS source codes to report executon tme o E, EG or EF uncton calls. 7 Concluson In order to overcome problems related to the use o BDDs and other representatons [8], we use a hgh level o representaton nstead o FSMs. As the result, we are able to manpulate complex desgns n much less tme and memory than FSM models usng BBDs. Unlke FSM models, our representaton treats data and control unts together and s not lmted to controller crcuts or datapath crcuts ndvdually [8]. Also our model does not need to solve nteger equatons or to do satsablty checkng as some people have done [9, 0, 2, 4]. Reerence: [] M. Ceselsk, P. Kalla and Z. Zeng, Taylor Expanson Dagrams: A Compact Canoncal Representaton or Arthmetc Expressons, n DATE [2] M.C. McFarland. Formal Vercaton o Sequental Hardware. IEEE Transactons On Computer- Aded Desgn o Integrated crcuts and systems Vol. 2, No. 5, page 633, May 993. [3] C. Kern and M.R. Greenstreet. Formal Vercaton In Hardware Desgn. ACM Transactons on Desgn Automaton o Electronc Systems, Vol. 4, No. 2, Aprl 999, page 23. [4] S. Devadas, H.T. Ma and A.R. Newton. On The Vercaton o sequental machnes at derng levels o abstracton. 24 th ACM/IEEE Desgn Automaton Conerence 987, page 27. [5] H. Touat, H. Savoj and B. Ln. Implct State Enumeraton o Fnte State Machnes Usng BDD s. IEEE Transactons on Computer 990, page 30. [6] G. Cabod, P. Camurat and F. Corno. Sequental Crcut Dagnoss based on Formal Vercaton Technques. Internatonal Test Conerence 992, page 87. [7] K. McMllan. Symbolc Model Checkng. Kluwer Academc Publshers, Boston, 993. [8] R. Drechsler. Formal Vercaton o Crcuts. Kluwer Academc Publshers, [9] A. Bere, A. Cmatt, E.M. Clarke, M. Fujta and. Zhu. Symbolc Model Checkng Usng SAT Procedures Instead o BDDs. In Proceedngs DAC, June 999, pages [0] C.-. Huang and K.-T. Cheng. Asserton Checkng by Combned Word-level ATPG and Modular Arthmetc Constrant-Solvng Technques. In Proceedngs o DAC 00, pages 8-23, [] F. Fallah, S. Devadas and K. Keutzer. Functonal Vector Generaton or HDL Models Usng Lnear Programmng and 3-Satsablty. In Proceedngs o 35 th DAC-98, p.p 528. [2] R. Brnkmann and R. Drechsler. RTL-Datapath Vercaton usng Integer Lnear Programmng. In Proceedngs o IEEE VLSI Desgn 0 & Asa and South Pacc Desgn Automaton Conerence, pages , Bangalore, [3] E. Clarke, R. Enders, and T. Flkorn. Explotng Symmetry n Temporal Logc Model Checkng. Formal Methods n System Desgn 9, (996). [4] B. Alzadeh and M.R. Kakoee, Usng Integer Equatons or Hgh Level Formal Vercaton Property Checkng, n ISQED [5] M.H. Reshad, A.M. Gharehbagh and Z. Navab, Intermedate Format Standardzaton: Ambgutes, Decences, Portablty ssues, Documentaton and Improvements, HDLCon2000, March [6] Robert K. Brayton, A. Sangovann, A. Azz and et al. VIS: A system or Vercaton and Synthess. Proceedngs o the Eghth Internatonal Conerence on Computer Aded Vercaton, 996.
A New High Level Model Based on Integer Equations to Check CTL Properties in VHDL Environment
A New High Level Model Based on Integer Equations to Check CTL Properties in VHDL Environment BIJAN ALIZADEH, MOHAMMAD R. KAKOEE, ZAINALABEDIN NAVABI Electrical and Computer Engineering University of Tehran
More informationUsing Integer Equations for High Level Formal Verification Property Checking
Using Integer Equations for High Level Formal Verification Property Checking Bijan Alizadeh Electrical and Computer Engineering University of Tehran 4399 Tehran, Iran bijan@cad.ece.ut.ac.ir Mohammad R.
More informationConstruction of ROBDDs. area. that such graphs, under some conditions, can be easily manipulated.
A Study of Composton Schemes for Mxed Apply/Compose Based Constructon of s A Narayan 1 S P Khatr 1 J Jan 2 M Fujta 2 R K Brayton 1 A Sangovann-Vncentell 1 Abstract Reduced Ordered Bnary Decson Dagrams
More informationFor instance, ; the five basic number-sets are increasingly more n A B & B A A = B (1)
Secton 1.2 Subsets and the Boolean operatons on sets If every element of the set A s an element of the set B, we say that A s a subset of B, or that A s contaned n B, or that B contans A, and we wrte A
More informationCluster Analysis of Electrical Behavior
Journal of Computer and Communcatons, 205, 3, 88-93 Publshed Onlne May 205 n ScRes. http://www.scrp.org/ournal/cc http://dx.do.org/0.4236/cc.205.350 Cluster Analyss of Electrcal Behavor Ln Lu Ln Lu, School
More informationParallelism for Nested Loops with Non-uniform and Flow Dependences
Parallelsm for Nested Loops wth Non-unform and Flow Dependences Sam-Jn Jeong Dept. of Informaton & Communcaton Engneerng, Cheonan Unversty, 5, Anseo-dong, Cheonan, Chungnam, 330-80, Korea. seong@cheonan.ac.kr
More informationA Binarization Algorithm specialized on Document Images and Photos
A Bnarzaton Algorthm specalzed on Document mages and Photos Ergna Kavalleratou Dept. of nformaton and Communcaton Systems Engneerng Unversty of the Aegean kavalleratou@aegean.gr Abstract n ths paper, a
More informationImprovement of Spatial Resolution Using BlockMatching Based Motion Estimation and Frame. Integration
Improvement of Spatal Resoluton Usng BlockMatchng Based Moton Estmaton and Frame Integraton Danya Suga and Takayuk Hamamoto Graduate School of Engneerng, Tokyo Unversty of Scence, 6-3-1, Nuku, Katsuska-ku,
More informationType-2 Fuzzy Non-uniform Rational B-spline Model with Type-2 Fuzzy Data
Malaysan Journal of Mathematcal Scences 11(S) Aprl : 35 46 (2017) Specal Issue: The 2nd Internatonal Conference and Workshop on Mathematcal Analyss (ICWOMA 2016) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES
More informationComplex Numbers. Now we also saw that if a and b were both positive then ab = a b. For a second let s forget that restriction and do the following.
Complex Numbers The last topc n ths secton s not really related to most of what we ve done n ths chapter, although t s somewhat related to the radcals secton as we wll see. We also won t need the materal
More informationAn Optimal Algorithm for Prufer Codes *
J. Software Engneerng & Applcatons, 2009, 2: 111-115 do:10.4236/jsea.2009.22016 Publshed Onlne July 2009 (www.scrp.org/journal/jsea) An Optmal Algorthm for Prufer Codes * Xaodong Wang 1, 2, Le Wang 3,
More informationCircuit Analysis I (ENGR 2405) Chapter 3 Method of Analysis Nodal(KCL) and Mesh(KVL)
Crcut Analyss I (ENG 405) Chapter Method of Analyss Nodal(KCL) and Mesh(KVL) Nodal Analyss If nstead of focusng on the oltages of the crcut elements, one looks at the oltages at the nodes of the crcut,
More informationCS1100 Introduction to Programming
Factoral (n) Recursve Program fact(n) = n*fact(n-) CS00 Introducton to Programmng Recurson and Sortng Madhu Mutyam Department of Computer Scence and Engneerng Indan Insttute of Technology Madras nt fact
More informationConditional Speculative Decimal Addition*
Condtonal Speculatve Decmal Addton Alvaro Vazquez and Elsardo Antelo Dep. of Electronc and Computer Engneerng Unv. of Santago de Compostela, Span Ths work was supported n part by Xunta de Galca under grant
More informationRADIX-10 PARALLEL DECIMAL MULTIPLIER
RADIX-10 PARALLEL DECIMAL MULTIPLIER 1 MRUNALINI E. INGLE & 2 TEJASWINI PANSE 1&2 Electroncs Engneerng, Yeshwantrao Chavan College of Engneerng, Nagpur, Inda E-mal : mrunalngle@gmal.com, tejaswn.deshmukh@gmal.com
More informationLoad Balancing for Hex-Cell Interconnection Network
Int. J. Communcatons, Network and System Scences,,, - Publshed Onlne Aprl n ScRes. http://www.scrp.org/journal/jcns http://dx.do.org/./jcns.. Load Balancng for Hex-Cell Interconnecton Network Saher Manaseer,
More informationStorage Binding in RTL synthesis
Storage Bndng n RTL synthess Pe Zhang Danel D. Gajsk Techncal Report ICS-0-37 August 0th, 200 Center for Embedded Computer Systems Department of Informaton and Computer Scence Unersty of Calforna, Irne
More informationLecture 3: Computer Arithmetic: Multiplication and Division
8-447 Lecture 3: Computer Arthmetc: Multplcaton and Dvson James C. Hoe Dept of ECE, CMU January 26, 29 S 9 L3- Announcements: Handout survey due Lab partner?? Read P&H Ch 3 Read IEEE 754-985 Handouts:
More informationAgenda & Reading. Simple If. Decision-Making Statements. COMPSCI 280 S1C Applications Programming. Programming Fundamentals
Agenda & Readng COMPSCI 8 SC Applcatons Programmng Programmng Fundamentals Control Flow Agenda: Decsonmakng statements: Smple If, Ifelse, nested felse, Select Case s Whle, DoWhle/Untl, For, For Each, Nested
More informationCHAPTER 4. Applications of Boolean Algebra/ Minterm and Maxterm Expansions
Fundaentals o Logc Desgn hap. 4 HAPTER 4 /8 Applcatons o Boolean Algebra/ Mnter and Maxter Expansons Ths chapter n the book ncludes: Objectves Study Gude 4. onverson o Englsh Sentences to Boolean Equatons
More informationContent Based Image Retrieval Using 2-D Discrete Wavelet with Texture Feature with Different Classifiers
IOSR Journal of Electroncs and Communcaton Engneerng (IOSR-JECE) e-issn: 78-834,p- ISSN: 78-8735.Volume 9, Issue, Ver. IV (Mar - Apr. 04), PP 0-07 Content Based Image Retreval Usng -D Dscrete Wavelet wth
More information6.854 Advanced Algorithms Petar Maymounkov Problem Set 11 (November 23, 2005) With: Benjamin Rossman, Oren Weimann, and Pouya Kheradpour
6.854 Advanced Algorthms Petar Maymounkov Problem Set 11 (November 23, 2005) Wth: Benjamn Rossman, Oren Wemann, and Pouya Kheradpour Problem 1. We reduce vertex cover to MAX-SAT wth weghts, such that the
More informationAssembler. Building a Modern Computer From First Principles.
Assembler Buldng a Modern Computer From Frst Prncples www.nand2tetrs.org Elements of Computng Systems, Nsan & Schocken, MIT Press, www.nand2tetrs.org, Chapter 6: Assembler slde Where we are at: Human Thought
More informationVISUAL SELECTION OF SURFACE FEATURES DURING THEIR GEOMETRIC SIMULATION WITH THE HELP OF COMPUTER TECHNOLOGIES
UbCC 2011, Volume 6, 5002981-x manuscrpts OPEN ACCES UbCC Journal ISSN 1992-8424 www.ubcc.org VISUAL SELECTION OF SURFACE FEATURES DURING THEIR GEOMETRIC SIMULATION WITH THE HELP OF COMPUTER TECHNOLOGIES
More informationProgramming in Fortran 90 : 2017/2018
Programmng n Fortran 90 : 2017/2018 Programmng n Fortran 90 : 2017/2018 Exercse 1 : Evaluaton of functon dependng on nput Wrte a program who evaluate the functon f (x,y) for any two user specfed values
More informationLecture 5: Multilayer Perceptrons
Lecture 5: Multlayer Perceptrons Roger Grosse 1 Introducton So far, we ve only talked about lnear models: lnear regresson and lnear bnary classfers. We noted that there are functons that can t be represented
More informationOutline. Digital Systems. C.2: Gates, Truth Tables and Logic Equations. Truth Tables. Logic Gates 9/8/2011
9/8/2 2 Outlne Appendx C: The Bascs of Logc Desgn TDT4255 Computer Desgn Case Study: TDT4255 Communcaton Module Lecture 2 Magnus Jahre 3 4 Dgtal Systems C.2: Gates, Truth Tables and Logc Equatons All sgnals
More informationAssignment # 2. Farrukh Jabeen Algorithms 510 Assignment #2 Due Date: June 15, 2009.
Farrukh Jabeen Algorthms 51 Assgnment #2 Due Date: June 15, 29. Assgnment # 2 Chapter 3 Dscrete Fourer Transforms Implement the FFT for the DFT. Descrbed n sectons 3.1 and 3.2. Delverables: 1. Concse descrpton
More informationHarvard University CS 101 Fall 2005, Shimon Schocken. Assembler. Elements of Computing Systems 1 Assembler (Ch. 6)
Harvard Unversty CS 101 Fall 2005, Shmon Schocken Assembler Elements of Computng Systems 1 Assembler (Ch. 6) Why care about assemblers? Because Assemblers employ some nfty trcks Assemblers are the frst
More informationData Representation in Digital Design, a Single Conversion Equation and a Formal Languages Approach
Data Representaton n Dgtal Desgn, a Sngle Converson Equaton and a Formal Languages Approach Hassan Farhat Unversty of Nebraska at Omaha Abstract- In the study of data representaton n dgtal desgn and computer
More informationCMPS 10 Introduction to Computer Science Lecture Notes
CPS 0 Introducton to Computer Scence Lecture Notes Chapter : Algorthm Desgn How should we present algorthms? Natural languages lke Englsh, Spansh, or French whch are rch n nterpretaton and meanng are not
More informationA fault tree analysis strategy using binary decision diagrams
Loughborough Unversty Insttutonal Repostory A fault tree analyss strategy usng bnary decson dagrams Ths tem was submtted to Loughborough Unversty's Insttutonal Repostory by the/an author. Addtonal Informaton:
More informationThe Codesign Challenge
ECE 4530 Codesgn Challenge Fall 2007 Hardware/Software Codesgn The Codesgn Challenge Objectves In the codesgn challenge, your task s to accelerate a gven software reference mplementaton as fast as possble.
More informationBrave New World Pseudocode Reference
Brave New World Pseudocode Reference Pseudocode s a way to descrbe how to accomplsh tasks usng basc steps lke those a computer mght perform. In ths week s lab, you'll see how a form of pseudocode can be
More informationComputer models of motion: Iterative calculations
Computer models o moton: Iteratve calculatons OBJECTIVES In ths actvty you wll learn how to: Create 3D box objects Update the poston o an object teratvely (repeatedly) to anmate ts moton Update the momentum
More informationCompiler Design. Spring Register Allocation. Sample Exercises and Solutions. Prof. Pedro C. Diniz
Compler Desgn Sprng 2014 Regster Allocaton Sample Exercses and Solutons Prof. Pedro C. Dnz USC / Informaton Scences Insttute 4676 Admralty Way, Sute 1001 Marna del Rey, Calforna 90292 pedro@s.edu Regster
More informationMemory Modeling in ESL-RTL Equivalence Checking
11.4 Memory Modelng n ESL-RTL Equvalence Checkng Alfred Koelbl 2025 NW Cornelus Pass Rd. Hllsboro, OR 97124 koelbl@synopsys.com Jerry R. Burch 2025 NW Cornelus Pass Rd. Hllsboro, OR 97124 burch@synopsys.com
More informationSolving two-person zero-sum game by Matlab
Appled Mechancs and Materals Onlne: 2011-02-02 ISSN: 1662-7482, Vols. 50-51, pp 262-265 do:10.4028/www.scentfc.net/amm.50-51.262 2011 Trans Tech Publcatons, Swtzerland Solvng two-person zero-sum game by
More informationModule Management Tool in Software Development Organizations
Journal of Computer Scence (5): 8-, 7 ISSN 59-66 7 Scence Publcatons Management Tool n Software Development Organzatons Ahmad A. Al-Rababah and Mohammad A. Al-Rababah Faculty of IT, Al-Ahlyyah Amman Unversty,
More informationVirtual Machine Migration based on Trust Measurement of Computer Node
Appled Mechancs and Materals Onlne: 2014-04-04 ISSN: 1662-7482, Vols. 536-537, pp 678-682 do:10.4028/www.scentfc.net/amm.536-537.678 2014 Trans Tech Publcatons, Swtzerland Vrtual Machne Mgraton based on
More informationS1 Note. Basis functions.
S1 Note. Bass functons. Contents Types of bass functons...1 The Fourer bass...2 B-splne bass...3 Power and type I error rates wth dfferent numbers of bass functons...4 Table S1. Smulaton results of type
More informationMachine Learning: Algorithms and Applications
14/05/1 Machne Learnng: Algorthms and Applcatons Florano Zn Free Unversty of Bozen-Bolzano Faculty of Computer Scence Academc Year 011-01 Lecture 10: 14 May 01 Unsupervsed Learnng cont Sldes courtesy of
More informationsuch that is accepted of states in , where Finite Automata Lecture 2-1: Regular Languages be an FA. A string is the transition function,
* Lecture - Regular Languages S Lecture - Fnte Automata where A fnte automaton s a -tuple s a fnte set called the states s a fnte set called the alphabet s the transton functon s the ntal state s the set
More informationHigh level vs Low Level. What is a Computer Program? What does gcc do for you? Program = Instructions + Data. Basic Computer Organization
What s a Computer Program? Descrpton of algorthms and data structures to acheve a specfc ojectve Could e done n any language, even a natural language lke Englsh Programmng language: A Standard notaton
More informationA Fast Visual Tracking Algorithm Based on Circle Pixels Matching
A Fast Vsual Trackng Algorthm Based on Crcle Pxels Matchng Zhqang Hou hou_zhq@sohu.com Chongzhao Han czhan@mal.xjtu.edu.cn Ln Zheng Abstract: A fast vsual trackng algorthm based on crcle pxels matchng
More information2x x l. Module 3: Element Properties Lecture 4: Lagrange and Serendipity Elements
Module 3: Element Propertes Lecture : Lagrange and Serendpty Elements 5 In last lecture note, the nterpolaton functons are derved on the bass of assumed polynomal from Pascal s trangle for the fled varable.
More informationHermite Splines in Lie Groups as Products of Geodesics
Hermte Splnes n Le Groups as Products of Geodescs Ethan Eade Updated May 28, 2017 1 Introducton 1.1 Goal Ths document defnes a curve n the Le group G parametrzed by tme and by structural parameters n the
More informationMATHEMATICS FORM ONE SCHEME OF WORK 2004
MATHEMATICS FORM ONE SCHEME OF WORK 2004 WEEK TOPICS/SUBTOPICS LEARNING OBJECTIVES LEARNING OUTCOMES VALUES CREATIVE & CRITICAL THINKING 1 WHOLE NUMBER Students wll be able to: GENERICS 1 1.1 Concept of
More informationy and the total sum of
Lnear regresson Testng for non-lnearty In analytcal chemstry, lnear regresson s commonly used n the constructon of calbraton functons requred for analytcal technques such as gas chromatography, atomc absorpton
More informationNewton-Raphson division module via truncated multipliers
Newton-Raphson dvson module va truncated multplers Alexandar Tzakov Department of Electrcal and Computer Engneerng Illnos Insttute of Technology Chcago,IL 60616, USA Abstract Reducton n area and power
More informationAssembler. Shimon Schocken. Spring Elements of Computing Systems 1 Assembler (Ch. 6) Compiler. abstract interface.
IDC Herzlya Shmon Schocken Assembler Shmon Schocken Sprng 2005 Elements of Computng Systems 1 Assembler (Ch. 6) Where we are at: Human Thought Abstract desgn Chapters 9, 12 abstract nterface H.L. Language
More informationTsinghua University at TAC 2009: Summarizing Multi-documents by Information Distance
Tsnghua Unversty at TAC 2009: Summarzng Mult-documents by Informaton Dstance Chong Long, Mnle Huang, Xaoyan Zhu State Key Laboratory of Intellgent Technology and Systems, Tsnghua Natonal Laboratory for
More informationProblem Set 3 Solutions
Introducton to Algorthms October 4, 2002 Massachusetts Insttute of Technology 6046J/18410J Professors Erk Demane and Shaf Goldwasser Handout 14 Problem Set 3 Solutons (Exercses were not to be turned n,
More informationCPE 628 Chapter 2 Design for Testability. Dr. Rhonda Kay Gaede UAH. UAH Chapter Introduction
Chapter 2 Desgn for Testablty Dr Rhonda Kay Gaede UAH 2 Introducton Dffcultes n and the states of sequental crcuts led to provdng drect access for storage elements, whereby selected storage elements are
More informationHigh-Boost Mesh Filtering for 3-D Shape Enhancement
Hgh-Boost Mesh Flterng for 3-D Shape Enhancement Hrokazu Yagou Λ Alexander Belyaev y Damng We z Λ y z ; ; Shape Modelng Laboratory, Unversty of Azu, Azu-Wakamatsu 965-8580 Japan y Computer Graphcs Group,
More informationPolyhedral Compilation Foundations
Polyhedral Complaton Foundatons Lous-Noël Pouchet pouchet@cse.oho-state.edu Dept. of Computer Scence and Engneerng, the Oho State Unversty Feb 8, 200 888., Class # Introducton: Polyhedral Complaton Foundatons
More informationImproved Symoblic Simulation By Dynamic Funtional Space Partitioning
Improved Symoblc Smulaton By Dynamc Funtonal Space Parttonng Tao Feng, L-.Wang, Kwang-Tng heng Department of EE, U-Santa Barbara, U.S.A tfeng,lcwang, tmcheng @ece.ucsb.edu Andy -. Ln adence Desgn Systems,
More informationConcurrent Apriori Data Mining Algorithms
Concurrent Apror Data Mnng Algorthms Vassl Halatchev Department of Electrcal Engneerng and Computer Scence York Unversty, Toronto October 8, 2015 Outlne Why t s mportant Introducton to Assocaton Rule Mnng
More informationCHAPTER 4 PARALLEL PREFIX ADDER
93 CHAPTER 4 PARALLEL PREFIX ADDER 4.1 INTRODUCTION VLSI Integer adders fnd applcatons n Arthmetc and Logc Unts (ALUs), mcroprocessors and memory addressng unts. Speed of the adder often decdes the mnmum
More informationIntra-Parametric Analysis of a Fuzzy MOLP
Intra-Parametrc Analyss of a Fuzzy MOLP a MIAO-LING WANG a Department of Industral Engneerng and Management a Mnghsn Insttute of Technology and Hsnchu Tawan, ROC b HSIAO-FAN WANG b Insttute of Industral
More informationTerm Weighting Classification System Using the Chi-square Statistic for the Classification Subtask at NTCIR-6 Patent Retrieval Task
Proceedngs of NTCIR-6 Workshop Meetng, May 15-18, 2007, Tokyo, Japan Term Weghtng Classfcaton System Usng the Ch-square Statstc for the Classfcaton Subtask at NTCIR-6 Patent Retreval Task Kotaro Hashmoto
More informationDesign of Structure Optimization with APDL
Desgn of Structure Optmzaton wth APDL Yanyun School of Cvl Engneerng and Archtecture, East Chna Jaotong Unversty Nanchang 330013 Chna Abstract In ths paper, the desgn process of structure optmzaton wth
More informationReview of approximation techniques
CHAPTER 2 Revew of appromaton technques 2. Introducton Optmzaton problems n engneerng desgn are characterzed by the followng assocated features: the objectve functon and constrants are mplct functons evaluated
More informationAnalysis of Non-coherent Fault Trees Using Ternary Decision Diagrams
Analyss of Non-coherent Fault Trees Usng Ternary Decson Dagrams Rasa Remenyte-Prescott Dep. of Aeronautcal and Automotve Engneerng Loughborough Unversty, Loughborough, LE11 3TU, England R.Remenyte-Prescott@lboro.ac.uk
More informationMallathahally, Bangalore, India 1 2
7 IMPLEMENTATION OF HIGH PERFORMANCE BINARY SQUARER PRADEEP M C, RAMESH S, Department of Electroncs and Communcaton Engneerng, Dr. Ambedkar Insttute of Technology, Mallathahally, Bangalore, Inda pradeepmc@gmal.com,
More informationFloating-Point Division Algorithms for an x86 Microprocessor with a Rectangular Multiplier
Floatng-Pont Dvson Algorthms for an x86 Mcroprocessor wth a Rectangular Multpler Mchael J. Schulte Dmtr Tan Carl E. Lemonds Unversty of Wsconsn Advanced Mcro Devces Advanced Mcro Devces Schulte@engr.wsc.edu
More informationSystem-on-Chip Design Analysis of Control Data Flow. Hao Zheng Comp Sci & Eng U of South Florida
System-on-Chp Desgn Analyss of Control Data Flow Hao Zheng Comp Sc & Eng U of South Florda Overvew DF models descrbe concurrent computa=on at a very hgh level Each actor descrbes non-trval computa=on.
More informationHierarchical clustering for gene expression data analysis
Herarchcal clusterng for gene expresson data analyss Gorgo Valentn e-mal: valentn@ds.unm.t Clusterng of Mcroarray Data. Clusterng of gene expresson profles (rows) => dscovery of co-regulated and functonally
More informationand NSF Engineering Research Center Abstract Generalized speedup is dened as parallel speed over sequential speed. In this paper
Shared Vrtual Memory and Generalzed Speedup Xan-He Sun Janpng Zhu ICASE NSF Engneerng Research Center Mal Stop 132C Dept. of Math. and Stat. NASA Langley Research Center Msssspp State Unversty Hampton,
More informationA SAT-BASED BOUNDED MODEL CHECKER FOR CONCURRENT ASSEMBLY PROGRAMS. Guodong Li, Ganesh Gopalakrishnan, Konrad Slind
A SAT-BASED BOUNDED MODEL CHECKER FOR CONCURRENT ASSEMBLY PROGRAMS Guodong L, Ganesh Gopalakrshnan, Konrad Slnd School of Computng, Unversty of Utah lgd@cs.utah.edu ABSTRACT A SAT-based bounded model checker
More informationOracle Database: SQL and PL/SQL Fundamentals Certification Course
Oracle Database: SQL and PL/SQL Fundamentals Certfcaton Course 1 Duraton: 5 Days (30 hours) What you wll learn: Ths Oracle Database: SQL and PL/SQL Fundamentals tranng delvers the fundamentals of SQL and
More informationArea Efficient Self Timed Adders For Low Power Applications in VLSI
ISSN(Onlne): 2319-8753 ISSN (Prnt) :2347-6710 Internatonal Journal of Innovatve Research n Scence, Engneerng and Technology (An ISO 3297: 2007 Certfed Organzaton) Area Effcent Self Tmed Adders For Low
More informationAADL : about scheduling analysis
AADL : about schedulng analyss Schedulng analyss, what s t? Embedded real-tme crtcal systems have temporal constrants to meet (e.g. deadlne). Many systems are bult wth operatng systems provdng multtaskng
More informationParallel Branch and Bound Algorithm - A comparison between serial, OpenMP and MPI implementations
Journal of Physcs: Conference Seres Parallel Branch and Bound Algorthm - A comparson between seral, OpenMP and MPI mplementatons To cte ths artcle: Luco Barreto and Mchael Bauer 2010 J. Phys.: Conf. Ser.
More informationA New Memory Reduced Radix-4 CORDIC Processor For FFT Operation
IOSR Journal of VLSI and Sgnal Processng (IOSR-JVSP) Volume, Issue 5 (May. Jun. 013), PP 09-16 e-issn: 319 400, p-issn No. : 319 4197 www.osrjournals.org A New Memory Reduced Radx-4 CORDIC Processor For
More informationRelated-Mode Attacks on CTR Encryption Mode
Internatonal Journal of Network Securty, Vol.4, No.3, PP.282 287, May 2007 282 Related-Mode Attacks on CTR Encrypton Mode Dayn Wang, Dongda Ln, and Wenlng Wu (Correspondng author: Dayn Wang) Key Laboratory
More informationA high precision collaborative vision measurement of gear chamfering profile
Internatonal Conference on Advances n Mechancal Engneerng and Industral Informatcs (AMEII 05) A hgh precson collaboratve vson measurement of gear chamferng profle Conglng Zhou, a, Zengpu Xu, b, Chunmng
More informationFEATURE EXTRACTION. Dr. K.Vijayarekha. Associate Dean School of Electrical and Electronics Engineering SASTRA University, Thanjavur
FEATURE EXTRACTION Dr. K.Vjayarekha Assocate Dean School of Electrcal and Electroncs Engneerng SASTRA Unversty, Thanjavur613 41 Jont Intatve of IITs and IISc Funded by MHRD Page 1 of 8 Table of Contents
More informationExplicit Formulas and Efficient Algorithm for Moment Computation of Coupled RC Trees with Lumped and Distributed Elements
Explct Formulas and Effcent Algorthm for Moment Computaton of Coupled RC Trees wth Lumped and Dstrbuted Elements Qngan Yu and Ernest S.Kuh Electroncs Research Lab. Unv. of Calforna at Berkeley Berkeley
More informationPreconditioning Parallel Sparse Iterative Solvers for Circuit Simulation
Precondtonng Parallel Sparse Iteratve Solvers for Crcut Smulaton A. Basermann, U. Jaekel, and K. Hachya 1 Introducton One mportant mathematcal problem n smulaton of large electrcal crcuts s the soluton
More informationAn Application of the Dulmage-Mendelsohn Decomposition to Sparse Null Space Bases of Full Row Rank Matrices
Internatonal Mathematcal Forum, Vol 7, 2012, no 52, 2549-2554 An Applcaton of the Dulmage-Mendelsohn Decomposton to Sparse Null Space Bases of Full Row Rank Matrces Mostafa Khorramzadeh Department of Mathematcal
More informationLearning the Kernel Parameters in Kernel Minimum Distance Classifier
Learnng the Kernel Parameters n Kernel Mnmum Dstance Classfer Daoqang Zhang 1,, Songcan Chen and Zh-Hua Zhou 1* 1 Natonal Laboratory for Novel Software Technology Nanjng Unversty, Nanjng 193, Chna Department
More informationan assocated logc allows the proof of safety and lveness propertes. The Unty model nvolves on the one hand a programmng language and, on the other han
UNITY as a Tool for Desgn and Valdaton of a Data Replcaton System Phlppe Quennec Gerard Padou CENA IRIT-ENSEEIHT y Nnth Internatonal Conference on Systems Engneerng Unversty of Nevada, Las Vegas { 14-16
More informationUSING GRAPHING SKILLS
Name: BOLOGY: Date: _ Class: USNG GRAPHNG SKLLS NTRODUCTON: Recorded data can be plotted on a graph. A graph s a pctoral representaton of nformaton recorded n a data table. t s used to show a relatonshp
More informationParallel Inverse Halftoning by Look-Up Table (LUT) Partitioning
Parallel Inverse Halftonng by Look-Up Table (LUT) Parttonng Umar F. Sddq and Sadq M. Sat umar@ccse.kfupm.edu.sa, sadq@kfupm.edu.sa KFUPM Box: Department of Computer Engneerng, Kng Fahd Unversty of Petroleum
More information1 Introducton Gven a graph G = (V; E), a non-negatve cost on each edge n E, and a set of vertces Z V, the mnmum Stener problem s to nd a mnmum cost su
Stener Problems on Drected Acyclc Graphs Tsan-sheng Hsu y, Kuo-Hu Tsa yz, Da-We Wang yz and D. T. Lee? September 1, 1995 Abstract In ths paper, we consder two varatons of the mnmum-cost Stener problem
More informationPHYSICS-ENHANCED L-SYSTEMS
PHYSICS-ENHANCED L-SYSTEMS Hansrud Noser 1, Stephan Rudolph 2, Peter Stuck 1 1 Department of Informatcs Unversty of Zurch, Wnterthurerstr. 190 CH-8057 Zurch Swtzerland noser(stuck)@f.unzh.ch, http://www.f.unzh.ch/~noser(~stuck)
More informationLoop Transformations, Dependences, and Parallelization
Loop Transformatons, Dependences, and Parallelzaton Announcements Mdterm s Frday from 3-4:15 n ths room Today Semester long project Data dependence recap Parallelsm and storage tradeoff Scalar expanson
More informationAugmented Sifting of Multiple-Valued Decision Diagrams
Augmented Sftng of Multple-Valued Decson Dagrams D. Mchael Mller Rolf Drechsler Department of Computer Scence Insttute of Computer Scence Unverst of Vctora Unverst of Bremen Vctora, BC 28359 Bremen CANADA
More informationEcient Computation of the Most Probable Motion from Fuzzy. Moshe Ben-Ezra Shmuel Peleg Michael Werman. The Hebrew University of Jerusalem
Ecent Computaton of the Most Probable Moton from Fuzzy Correspondences Moshe Ben-Ezra Shmuel Peleg Mchael Werman Insttute of Computer Scence The Hebrew Unversty of Jerusalem 91904 Jerusalem, Israel Emal:
More informationSUMMARY... I TABLE OF CONTENTS...II INTRODUCTION...
Summary A follow-the-leader robot system s mplemented usng Dscrete-Event Supervsory Control methods. The system conssts of three robots, a leader and two followers. The dea s to get the two followers to
More informationFast Color Space Transformation for Embedded Controller by SA-C Recofigurable Computing
Internatonal Journal of Informaton and Electroncs Engneerng, Vol., No., July Fast Color Space Transformaton for Embedded Controller by SA-C Recofgurable Computng Jan-Long Kuo Abstract Ths paper proposes
More informationUsing Delayed Addition Techniques to Accelerate Integer and Floating-Point Calculations in Configurable Hardware
Draft submtted for publcaton. Please do not dstrbute Usng Delayed Addton echnques to Accelerate Integer and Floatng-Pont Calculatons n Confgurable Hardware Zhen Luo, Nonmember and Margaret Martonos, Member,
More informationOptimization Methods: Integer Programming Integer Linear Programming 1. Module 7 Lecture Notes 1. Integer Linear Programming
Optzaton Methods: Integer Prograng Integer Lnear Prograng Module Lecture Notes Integer Lnear Prograng Introducton In all the prevous lectures n lnear prograng dscussed so far, the desgn varables consdered
More informationSequential search. Building Java Programs Chapter 13. Sequential search. Sequential search
Sequental search Buldng Java Programs Chapter 13 Searchng and Sortng sequental search: Locates a target value n an array/lst by examnng each element from start to fnsh. How many elements wll t need to
More informationCSCI 104 Sorting Algorithms. Mark Redekopp David Kempe
CSCI 104 Sortng Algorthms Mark Redekopp Davd Kempe Algorthm Effcency SORTING 2 Sortng If we have an unordered lst, sequental search becomes our only choce If we wll perform a lot of searches t may be benefcal
More informationFPGA Implementation of CORDIC Algorithms for Sine and Cosine Generator
The 5th Internatonal Conference on Electrcal Engneerng and Informatcs 25 August -, 25, Bal, Indonesa FPGA Implementaton of CORDIC Algorthms for Sne and Cosne Generator Antonus P. Renardy, Nur Ahmad, Ashbr
More informationSupport Vector Machines
/9/207 MIST.6060 Busness Intellgence and Data Mnng What are Support Vector Machnes? Support Vector Machnes Support Vector Machnes (SVMs) are supervsed learnng technques that analyze data and recognze patterns.
More informationNon-Split Restrained Dominating Set of an Interval Graph Using an Algorithm
Internatonal Journal of Advancements n Research & Technology, Volume, Issue, July- ISS - on-splt Restraned Domnatng Set of an Interval Graph Usng an Algorthm ABSTRACT Dr.A.Sudhakaraah *, E. Gnana Deepka,
More informationSubspace clustering. Clustering. Fundamental to all clustering techniques is the choice of distance measure between data points;
Subspace clusterng Clusterng Fundamental to all clusterng technques s the choce of dstance measure between data ponts; D q ( ) ( ) 2 x x = x x, j k = 1 k jk Squared Eucldean dstance Assumpton: All features
More information