Triple/Quadruple Patterning Layout Decomposition via Novel Linear Programming and Iterative Rounding

Size: px
Start display at page:

Download "Triple/Quadruple Patterning Layout Decomposition via Novel Linear Programming and Iterative Rounding"

Transcription

1 Triple/Qudruple Ptterning Lyout Deomposition vi Novel Liner Progrmming nd Itertive Rounding Yio Lin, Xioqing Xu, Bei Yu, Ross Bldik nd Dvid Z. Pn ECE Dept., University of Texs t Austin, Austin, TX USA CSE Dept., The Chinese University of Hong Kong, NT, Hong Kong Emil : {yiolin, xioqingxu}@er.utexs.edu, {ldik, dpn}@ee.utexs.edu Emil : yu@se.uhk.edu.hk ABSTRACT As feture size of the semiondutor tehnology sles down to 0nm nd eyond, multiple ptterning lithogrphy (MPL) hs eome one of the most prtil ndidtes for lithogrphy, long with other emerging tehnologies suh s extreme ultrviolet lithogrphy (EUVL), e-em lithogrphy (EBL) nd direted self ssemly (DSA). Due to the dely of EUVL nd EBL, triple nd even qudruple ptterning re onsidered to e used for lower metl nd ontt lyers with tight pithes. In the proess of MPL, lyout deomposition is the key design stge, where lyout is split into vrious prts nd eh prt is mnuftured through seprte msk. For metl lyers, stithing my e llowed to resolve onflits, while it is foridden for ontt nd vi lyers. In this pper, we fous on the pplition of lyout deomposition where stithing is not llowed suh s for ontt nd vi lyers. We propose liner progrmming nd itertive rounding (LPIR) solving tehnique to redue the numer of non-integers in the LP relxtion prolem. Experimentl results show tht the proposed lgorithms n provide high qulity deomposition solutions effiiently while introduing s few onflits s possile.. INTRODUCTION Triple ptterning lithogrphy (TPL) nd qudruple ptterning lithogrphy (QPL) re promising tehniques to enhne lithogrphy resolution when the feture size of semiondutor tehnology sles down to 0nm nd eyond. While it is true tht there re other tehniques suh s extreme ultrviolet lithogrphy (EUVL), e-em lithogrphy (EBL) nd direted self ssemly (DSA), the merits nd demerits of these tehniques result in vrious hoies ording to different pplitions. A typil proess of TPL onsists of litho-eth-litho-eth-litho-eth (LELELE) steps whih need three exposure/ething steps. In order to mnufture with TPL tehnology, it is neessry to split single lyer into three msks so tht the fetures on eh msk re fr wy enough to meet the resolution requirement of the optil system. This proess is lled lyout deomposition. Similrly for QPL, one lyer is deomposed into four msks for mnufturing. The ondition for splitting fetures is usully relted to the distne etween them. For ny feture pir, if two fetures re very lose to eh other, they should e split into different msks; otherwise, onflit is introdued nd it is not possile to mnufture them. In lyout deomposition, eh feture n e viewed s vertex in grph. If two fetures re too lose to e mnuftured in the sme msk, onflit edge is introdued to onnet orresponding verties. Verties tht shre the sme onflit edge must e ssigned to different msks, or in other words, leled with different olors. Then the lyout deomposition prolem n e formulted into grph oloring prolem s shown in Fig.. Tht is, TPL n e formulted to -oloring nd QPL n e formulted to -oloring. The minimum distne to insert onflit edge etween two fetures is defined s oloring distne. Grph oloring is known s n NP-omplete prolem for olor numer lrger thn two. A lyout my inlude su-grphs suh s -lique (K) struture tht is not -olorle. In Fig. (), verties,, nd d form K struture, so t lest four msks re needed. The min ojetive of lyout deomposition is to minimize the numer of onflits. For metl lyers, stithing my e llowed to resolve onflits; i.e. feture n e split into two prts with different olors. But stithes re foridden for ontt nd vi lyers. Even for metl lyers, Design-Proess-Tehnology Co-optimiztion for Mnufturility X, edited y Luigi Cpodiei nd Json P. Cin, Pro. of SPIE Vol. 978, 9780M 06 SPIE CCC ode: X/6/$8 doi: 0.7/.868 Pro. of SPIE Vol M-

2 d d e f e () () () (d) st msk nd msk rd msk th msk Figure. Multiple ptterning lyout deomposition: () metl lyer onflit grph, () orresponding deomposition, () ontt lyer onflit grph, nd (d) orresponding deomposition. some fs do not llow stith insertion s it degrdes the mnufturing yield. While lyout deomposition is still different from trditionl grph oloring, the NP-ompleteness still holds. Vrious lgorithms hve een proposed for the MPL lyout deomposition prolem, inluding integer liner progrmming (ILP), semidefinite progrmming (SDP) nd other heuristi pprohes. 9 Although ILP n solve the prolem optimlly, it suffers from exponentil runtime. SDP nd other heuristi pprohes re introdued to speedup the deomposition proess with trde-offs etween runtime nd solution qulity. In order to improve the feture uniformity on eh msk, density lne is lso introdued s seondry optimiztion trget during deomposition. 0, For row sed lyout strutures, even fster pprohes hve een proposed with the gurntee of optimlity. For single stndrd ell, Yu et l. proposed serh sed methods to enumerte ll possile oloring solutions. 6 Besides, Yu et l. developed n inrementl frmework to elerte onventionl lyout deomposition flow. 7 Reently, Guo et l. studied the lithogrphy impt of different deomposition solutions sed on lithogrphy models. 8 In this pper, we fous on the pplition of lyout deomposition where stithing is not llowed suh s for ontt nd vi lyers. Given lyout with either retngles or polygons where stith insertion is foridden, our gol is to provide high qulity deomposition results effiiently while introduing s few onflits s possile. Our mjor ontriutions re listed s follows.. We develop novel liner progrmming (LP) nd itertive rounding sheme to solve lyout deomposition effiiently with high performne.. We propose n odd yle sed tehnique to prune ntive non-integer solutions in the fesile set of LP, whih n effetively redue non-integer solutions in LP.. Experimentl results show tht our lgorithm gets.8x speedup for TPL nd.6x speedup for QPL ompred with the stte-of-the-rt lyout deomposer with less % degrdtion in finl onflit numers. The rest of the pper is orgnized s follows. In Setion, we disuss the preliminry nd prolem formultion. In Setion, we explin the lgorithms suh s integer liner progrmming formultion, liner progrmming relxtion nd our itertive rounding sheme. The experimentl result is presented in Setion nd we onlude this pper in Setion.. Preliminries. PRELIMINARIES AND PROBLEM FORMULATION Given lyout with retngulr or polygon shpes, we onstrut deomposition grph where eh feture is denoted y vertex in the grph. An edge is inserted if two orresponding fetures hve distne smller Pro. of SPIE Vol M-

3 g e f d h g e f d h g e f d h () () () st msk nd msk rd msk Figure. Exmple of () onflit nd () unlned deomposition () lned deomposition in triple ptterning lyout deomposition. thn minimum oloring distne. In the deomposition grph, if two verties onneted y onflit edge re ssigned to sme olor, onflit is generted. The min trget during lyout deomposition is to minimize the numer of onflits. Fig. () shows n exmple of onflit where node nd d re ssigned to the sme msk, whih results in onflit highlighted y red line. In ddition, the density of fetures t eh msk should lso e onsidered to redue lithogrphy hotspots nd improve CD uniformity. Fig. () nd Fig. () ompre two oloring solutions. The former one is unlned euse most nodes re ssigned to the first nd seond msk nd the third msk hs only one node. The ltter hs more uniform distriution of nodes on eh msk. Therefore, during the deomposition proess, it is neessry to mintin density uniformity in eh msk s well s the density rtios long different olors.. Prolem Formultion Given lyout with fetures of retngulr or polygon shpes, deomposition grph is onstruted. The lyout deomposition prolem ssigns fetures to different olors suh tht the totl numer of onflits is minimized nd menwhile the oloring density t eh msk is lned. The oloring density lning is defined s the differene etween the most frequently used olor nd the lest frequently used olor.. ALGORITHMS In this setion, we will go over the overll flow of our lgorithm. Then we introdue our ILP formultion of lyout deomposition whih is slightly different from onventionl deomposition nd explin its orresponding LP relxtion with the itertive rounding sheme in detils.. Overll Flow The overll flow of our frmework is shown in the left prt of Fig.. It first onstruts onflit grph from the lyout nd performs grph simplifition whih will generte set of simplified omponents. Eh simplified omponent will e fed to kernel oloring lgorithm sed on liner progrmming nd itertive rounding (LPIR). As some verties re removed from the originl grph to generte simplified omponents during grph simplifition, it is neessry to reover them during post olor ssignment. In the end, the finl oloring results re produed. The detiled flow for LPIR will e explined in Setion... ILP Formultion Given onflit grph G(V, E), it is neessry to introdue two inry vriles for eh node to represent three/four olors in the TPL/QPL lyout deomposition prolem. The ILP formultion is shown in Formultion (). For eh onflit edge in the edge set E, the sitution of identil olors on oth verties is foridden y Constrints () to (f); e.g. Constrint () requires tht x i, x i, x j nd x j nnot e zero t the sme time, whih would otherwise result in onflit t edge e ij, nd so forth for the other onstrints. Constrint () is only used to eliminte the fourth olor in TPL lyout deomposition, so it is not needed in the QPL deomposition prolem. Different from the ILP formultion in, dditionl stith edge vriles re not introdued sine stith insertion is not llowed. There re no dditionl onflit vriles either euse we hndle the Pro. of SPIE Vol M-

4 Input Lyout Simplified Component ILP with ojetive = 0 Construt Conflit Grph Grph Simplifition Generte Simplified Components Kernel Coloring - LPIR LP Relxtion Add dditionl onstrints nd ojetive ising Solving LP Binding Constrint Anlysis Vertex Color Reovery Finl Coloring Results Detet non-integer its Non-integer redued? N Colored Component Figure. Overll flow for our oloring frmework. Y minimiztion of onflits in the LP relxtion. Insted of minimizing the totl ost from onflits, the trget of our ILP formultion is to seek fesile olor ssignment to the vriles while optimizing the hngele ojetive funtion.. LPIR Flow min oj () s.t. x i + x i, () x i + x i + x j + x j, e ij E, () x i + x i + x j + x j, e ij E, (d) x i + x i + x j + x j, e ij E, (e) x i + x i + x j + x j, e ij E, (f) x i = x i, i V, (g) x i = x i, i V, (h) x i, x i {0, }, i V. (i) Although the ILP formultion is le to find optiml olor ssignment when there exists onflit free solution, it hs exponentil runtime nd is not ple of minimizing totl onflits if there is t lest one onflit in the optiml solution due to the infesiility. With LP relxtion of the prolem, it is possile to void the infesiility issue nd find solution with few onflits. The relxtion from ILP to LP will result in non-integer solutions, so it is ritil to find proper rounding sheme for qulity gurntee. The LPIR flow for our oloring frmework is demonstrted in the right prt of Fig.. The frmework strts with the LP with n ojetive of zero. To del with non-integers in the solution from LP, we identify some ntive non-integer solutions in the fesile set resulted from odd yles. Then dditionl onstrints re introdued to prune these ntive non-integer solutions. During eh itertion, ojetive funtion is hnged from the originl LP formultion to push non-integer to integers. In prtiulr, these dditionl onstrints nd ojetive funtion hnge will not rek the fesiility of possile oloring ssignment. We ontinue the LPIR itertions until no further improvement. Pro. of SPIE Vol M-

5 . Liner Progrmming nd Itertive Rounding The ILP formultion in () is relxed to LP y repling Constrint (i) with 0 x i nd 0 x i. The ritil issue from LP relxtion is tht it my introdue mny non-integers in the solution, euse typil LP lgorithm like simplex wlks through the oundries of the polyhedron spe of fesile set nd serh for est solutions. It is very likely tht the solutions t the oundries of the polyhedron spe ontin non-integers. For instne, with the onstrint (g), trivil fesile solution is x i = 0., x i = 0., i V. As shown in Fig., the fesile spe for the LP is denoted s the light green region. The dsh red line denotes the ojetive funtion with optiml vlue. The grids onsisting of dshed lk lines re possile solutions with integer its. We n see tht the optiml solution from LP is (0., 0.). Effiient tehniques re needed to push the LP solution to those lue dots in the fesile region with integer solutions while eing lose to the optiml point. (0.,0.) Figure. The polyhedron for fesile liner progrmming solutions... Odd Cyle Constrints It is known tht n odd yle in grph needs t lest three olors. For the odd yle exmple shown in Fig., if the first its of the verties re equl, e.g. x i = x j = x k = x l = x m = 0, it is not possile to otin solution without onflits y djusting x i, x j, x k, x l, x m. The LP relxtion will produe ll 0. solutions for x i, x j, x k, x l, x m to stisfy Constrints () to (f). These solutions re ntive non-integer solutions in the fesile set whih should e pruned. To void suh kind of situtions, the first its of the verties should not e equl. Just like Fig. () shows, s long s x i, x j, x k, x l, x m re not ll equl, it is very esy to find oloring solution without ny onflit. We n void the sitution of equlity of the first its y dding following onstrints, whih forids the ses of ll zeros nd ll ones: x i + x j + x k + x l + x m, ( x i ) + ( x j ) + ( x k ) + ( x l ) + ( x m ). () It must e noted tht lthough Constrints () nd () disllow the first its to e identil, it helps to resolve the potentil onflits nd non-integers for the seond its. Similr tehnique n e pplied to the seond its. For generl odd yle C, we hve the following onstrints. x i, i C () () ( x i ), () i C x i, i C () ( x i ), (d) i C Pro. of SPIE Vol M-

6 where Constrint () nd () forid the possiility of the first its to e ll zeros or ll ones; Constrint () nd (d) forid the sme thing to the seond its. These onstrints prune invlid solutions without losing the fesiility of the LP prolem. (0,0) i (0,0) m (0,) l (0,0) (0,) m (0,0) l j k (0,) (0,0) () j k (,) (0,) Figure. One possile odd yle in the onflit grph () oloring onflit from due to identil first it vlues of nodes () resolved onflit... Ojetive Funtion Bising To eliminte the non-integer results in n LP solution, one heuristi is to push the orresponding vriles to 0 or y djusting the ojetive funtion. For exmple, if x i turns out to e 0.6, it indites tht x i hs the tendeny to ; hene, we dd ( x i ) to the ojetive funtion so tht x i tends to e pushed to during the next itertion. It n e generlized to following rules: () oj = { oj + ( xi ), if x i > 0., oj + (x i ), if x i < 0.. ().. Binding Constrints Anlysis One drwk for the ojetive funtion ising tehnique nnot hndle non-integers like 0.. Therefore, we propose method to round those vertex with oloring solution (x i, x i ) = (0., 0.) pirwisely y nlyzing the relted inding onstrints. For onstrint in LP, if the inequlity turns out to e equlity ording to the LP solution, we ll it inding nd this onstrint is lled inding onstrint. Fig. 6 shows n exmple of onstrints for vertex whose solution is (0., 0.). Let S i e the set of onstrints only relted to x i, S i e the set of onstrints only relted to x i nd the set of shred onstrints is denoted y S i. For simpliity during illustrtion, ssume eh onstrint is formtted in suh wy tht ll vriles re on the left side of the inequlity opertor nd only onstnts re on the right side. At the sme time, the oeffiients for x i should remin positive. If ll onstrints in S i shre the sme kind of opertors, suh s, then these onstrints will not e violted if x i is pushed from 0. to 0; similrly, if ll opertors re, then x i n e pushed from 0. to. The ondition lso holds for x i y heking ll onstrints in S i. With the nlysis ove, we n generte ndidte rounded solution for (x i, x i ). The solution will not e epted unless the rounded solution lso stisfies ll onstrints in S i. For the exmple in Fig. 6, we n generte ndidte rounded solution (0, ) nd then hek if onstrints in S i re stisfied s well. If true, (x i, x i ) re rounded to (0, ). This tehnique will not ffet the fesiility of the LP... Anhoring Highest Degree Vertex During olor ssignment, one oloring solution n tully rotte to generte other oloring solutions. To redue the solution spe, it will not do hrm to the optimlity if one vertex of the grph is pre-olored. The degree of verties in the grph vries from vertex to vertex, nd the seletion of pre-olored vertex leds to different oloring results. As high-degree vertex hs lrge set of neighors, the solution spe will e lrgely redued if its olor is pre-determined. Therefore, when onstruting the mthemti formultion, we nhor the olor of the vertex with highest degree. Pro. of SPIE Vol M-6

7 S i S i S i x i =0. x i =0. i... + x i +... pple... + x i +... pple... + x i +... pple... + x i +... pple... + x i x i x i x i x i + x i +... pple x i x i x i + x i +... Figure 6. An exmple of inding onstrints nlysis.. Grph Simplifition Sine the onflit grph onstruted from initil lyout is very lrge, we perform grph simplifition to redue the prolem sizes. As the onflit grph is usully not strongly onneted, independent omponents re extrted. Then for eh independent omponent, two more steps re further dopted to simplify it: itertive vertex removl (IVR) nd ionneted omponent extrtion (BCE). It shll e noted tht if simplifition tehnique modifies the originl grph, it needs orresponding pproh to reover the olors verties t proper time. Sine the two simplifition methods we dopt will either remove verties from the grph or divide grphs into omponents, we will lso explin its reovery pproh. In our experiment, IVR is performed efore BCE, so during the reovery proess, the reovery lgorithm for IVR is exeuted fter tht of BCE... Itertive Vertex Removl nd Density Awre Reovery In the grph oloring prolem, if the degree of vertex is smller thn the numer of olors n, we n lwys remove it temporrily nd ssign olor lter, euse its neighoring verties in the grph will tke t most n olors. There will lwys e ville olors left for this vertex. When vertex is removed, some other verties my turn out to e removle, so this proedure n e performed itertively, whih is shown in Fig. 7. In eh itertion, the removed verties re pushed into stk whih is used to mintin the proper order during the vertex olor reovery. Figure 7. An exmple of itertive vertex removl in TPL. When ssigning olor to removed verties during vertex olor reovery, it is neessry to keep the popping order of the stk. For the exmple of Fig. 7, we will ssign olor in order of,,,,. During the reovery proess, vertex my hve multiple ville olors; e.g. if vertex is ssigned to olor, then vertex will hve two ndidte olors, i.e. nd, in TPL. The hoies of olors in the reovery stge ply n importnt role in olor density lning. Therefore, we design n lgorithm to onsider olor density during reovery, shown in Alg.. The si ide is to ompute the priority for eh ndidte olor of vertex v sed on the distne d,v with losest vertex of the sme olor. The lrger d,v is, the higher priority the olor hs. Eventully, the ndidte olor with lrgest d,v will e hosen. The min loop from line to line 7 in Alg. itertes though the verties with the order defined y the stk. For eh ndidte olor of vertex, the distne d,v is omputed in line 7. The est olor is omputed from line 0 to line... Bionneted Component Extrtion nd Color Reovery In grph theory, ionneted omponent is defined s mximl ionneted sugrph. In TPL nd QPL, we n divide grph into ionneted omponents so tht eh omponent n e solved independently. Fig. 8 shows n exmple of ionneted omponent extrtion. In the figure, the grph is split into three omponents, Pro. of SPIE Vol M-7

8 Algorithm Density Awre IVR Vertex Color Reovery Require: A stk S ontining unolored verties. Ensure: Assign olors with lned density. : Define ville olor set C for TPL/QPL nd ville olor set C v for vertex v; : Define distne d,v for vertex v s the distne with the losest vertex with olor ; : Define est olor v for vertex v nd d v s the orresponding distne; : while S do : v S.pop(); 6: for C do 7: Compute d,v ; 8: end for 9: Compute C v for vertex v; 0: v, d v ; : for C v do : if d,v > d v then : d v d,v, v ; : end if : end for 6: Assign olor v to vertex v; 7: end while, nd. Vertex is shred y omponent nd ; vertex is shred y omponent nd. These omponents n e olored independently nd reunited lter st msk nd msk rd msk Figure 8. An exmple of ionneted omponent extrtion nd olor reovery. Sine eh omponent is proessed independently, it is likely to result in the ondition tht the olors of shred verties in different omponents re different, like vertex in omponent nd. Therefore, olor rottion is neessry during the proess of reovery. The olor ssignments of omponent should e rotted in suh wy tht vertex in omponent hs identil olor to vertex in omponent. As the oloring solution of omponent is hnged, vertex nd vertex no longer remin the sme olor, so omponent should follow omponent nd rotte its oloring solution s well. For more generl proedure of olor rottion during the reovery, we n onstrut n undireted yli grph (UAG) in whih eh ionneted omponent is vertex nd two verties re onneted if the orresponding omponents shre vertex in the originl grph. The olor rottion for ionneted omponents n e solved y pplying depth first serh (DFS) to the UAG. Pro. of SPIE Vol M-8

9 . EXPERIMENTAL RESULTS Our lgorithms were implemented in C++ nd tested on n 8-Core.0 GHz Linux server with GB RAM. The sme enhmrks from Ref. re used. Guroi 9 is used s the ILP nd LP solver. The minimum oloring distne for TPL is set to 0nm nd tht for QPL is set to 60nm. We ompre our lgorithm with the stte-of-the-rt ILP nd SDP lgorithms from Ref. in Tle. Tle. Comprison on Runtime nd Performne Ciruit ILP for TPL SDP for TPL LPIR for TPL ILP for QPL 9 SDP for QPL 9 LPIR for QPL n# CPU(s) n# CPU(s) n# CPU(s) n# CPU(s) n# CPU(s) n# CPU(s) C C C C C C C C C C S S S N/A > S N/A > S N/A > vg N/A > In Tle, our lgorithm is shown s LPIR. Conflit numer is denoted y n# nd runtime is denoted y CPU in seonds. As stith insertion is not llowed, the stith numer is lwys zero nd thus not shown in the tle. We n see tht the LPIR lgorithm is le to hieve minimum onflits for ll enhmrks in TPL with 6x speedup to ILP nd.8x speedup to SDP. In QPL, the speedup from LPIR is even more impressive, whih hieves 60x speedup to ILP nd.8x speedup to SDP, while it only produes round % more onflits thn SDP. The smll degrdtion in onflits is resonle euse designers need to mnully fix onflits y modifying the lyout nywy. We lso study the density lning of the experimentl results, whih is hndled during the vertex reovery of IVR in Setion... We dopt the metri of density vrition in to evlute our density uniformity s in following eqution: σ = d mx d min, () where d mx is the mximum olor density of ll olors, nd d min is the minimum olor density. In idel se, σ should pproh zero; i.e. d mx is equl to d min. Tle shows the density vrition of LPIR for TPL nd QPL. We n see tht in TPL, the verge density vrition is only 0.% nd most enhmrks hve vrition pprohing zero. For QPL, the verge density vrition is %, whih is eptle. The outlier of the vrition in QPL lies in enhmrk C whih only ontins 09 verties. Although there re only more verties ssigned to the first msk thn tht to the fourth msk, the vrition is lrge due to the smll vlue of totl verties, euse smll enhmrks re more sensitive to smll density vrition.. CONCLUSION In this pper, we propose new nd effetive lgorithm for lyout deomposition prolem for TPL nd QPL. By utilizing the fetures in the polyhedron spe of the fesile set, we pproximte the ILP formultion with itertive rounding to the LP relxtion. Severl tehniques re proposed to shrink the polyhedron spe without losing the fesiility, suh s odd yle onstrints, inding onstrint nlysis nd vertex nhoring. Experiment results show the effetiveness nd effiieny of the lgorithm ompred with oth ILP nd SDP. Pro. of SPIE Vol M-9

10 Tle. Density Vrition Ciruit LPIR for TPL LPIR for QPL C C C C C C C C C C S S S S S vg Aknowledgment This work is supported in prt y Ntionl Siene Foundtion (NSF), Semiondutor Reserh Corportion (SRC), nd Chinese University of Hong Kong (CUHK) Diret Grnt for Reserh. REFERENCES [] Pn, D. Z., Yu, B., nd Go, J.-R., Design for mnufturing with emerging nnolithogrphy, IEEE Trnstions on Computer-Aided Design of Integrted Ciruits nd Systems (TCAD) (0), 7 (0). [] Krp, R. M., [Reduiility mong omintoril prolems], Springer (97). [] Yu, B., Yun, K., Ding, D., nd Pn, D. Z., Lyout deomposition for triple ptterning lithogrphy, IEEE Trnstions on Computer-Aided Design of Integrted Ciruits nd Systems (TCAD), 6 (Mrh 0). [] Ghid, R. S., Agrwl, K. B., Liemnn, L. W., Nssif, S. R., nd Gupt, P., A novel methodology for triple/multiple-ptterning lyout deomposition, in [Proeedings of SPIE], 87 (0). [] Fng, S.-Y., Chng, Y.-W., nd Chen, W.-Y., A novel lyout deomposition lgorithm for triple ptterning lithogrphy, IEEE Trnstions on Computer-Aided Design of Integrted Ciruits nd Systems (TCAD), (Mrh 0). [6] Lus, K., Cork, C., Yu, B., Luk-Pt, G., Pinter, B., nd Pn, D. Z., Implitions of triple ptterning for nm node design nd ptterning, in [Proeedings of SPIE], 87 (0). [7] Kung, J. nd Young, E. F., An effiient lyout deomposition pproh for triple ptterning lithogrphy, in [ACM/IEEE Design Automtion Conferene (DAC)], 69: 69:6 (0). [8] Zhng, Y., Luk, W.-S., Zhou, H., Yn, C., nd Zeng, X., Lyout deomposition with pirwise oloring for multiple ptterning lithogrphy, in [IEEE/ACM Interntionl Conferene on Computer-Aided Design (ICCAD)], (0). [9] Yu, B. nd Pn, D. Z., Lyout deomposition for qudruple ptterning lithogrphy nd eyond, in [ACM/IEEE Design Automtion Conferene (DAC)], : :6 (0). [0] Chen, Z., Yo, H., nd Ci, Y., SUALD: Sping uniformity-wre lyout deomposition in triple ptterning lithogrphy., in [IEEE Interntionl Symposium on Qulity Eletroni Design (ISQED)], 66 7 (0). [] Yu, B., Lin, Y.-H., Luk-Pt, G., Ding, D., Lus, K., nd Pn, D. Z., A high-performne triple ptterning lyout deomposer with lned density, in [IEEE/ACM Interntionl Conferene on Computer-Aided Design (ICCAD)], 6 69 (0). Pro. of SPIE Vol M-0

11 [] Tin, H., Zhng, H., M, Q., Xio, Z., nd Wong, M. D. F., A polynomil time triple ptterning lgorithm for ell sed row-struture lyout, in [IEEE/ACM Interntionl Conferene on Computer-Aided Design (ICCAD)], 7 6 (0). [] Tin, H., Du, Y., Zhng, H., Xio, Z., nd Wong, M. D. F., Constrined pttern ssignment for stndrd ell sed triple ptterning lithogrphy, in [IEEE/ACM Interntionl Conferene on Computer-Aided Design (ICCAD)], 78 8 (0). [] Tin, H., Zhng, H., Xio, Z., nd Wong, M. D. F., An effiient liner time triple ptterning solver, in [IEEE/ACM Asi nd South Pifi Design Automtion Conferene (ASPDAC)], 08 (0). [] Chien, H.-A., Hn, S.-Y., Chen, Y.-H., nd Wng, T.-C., A ell-sed row-struture lyout deomposer for triple ptterning lithogrphy, in [ACM Interntionl Symposium on Physil Design (ISPD)], 67 7 (0). [6] Yu, B., Xu, X., Go, J.-R., Lin, Y., Li, Z., Alpert, C., nd Pn, D. Z., Methodology for stndrd ell ompline nd detiled plement for triple ptterning lithogrphy, IEEE Trnstions on Computer- Aided Design of Integrted Ciruits nd Systems (TCAD), (My 0). [7] Yu, B., Grreton, G., nd Pn, D. Z., Lyout ompline for triple ptterning lithogrphy: n itertive pproh, in [Proeedings of SPIE], 9 (0). [8] Guo, D., Tin, H., Du, Y., nd Wong, M. D., Model-sed multiple ptterning lyout deomposition, in [Proeedings of SPIE], 96 (0). [9] Guroi Optimiztion In., Guroi optimizer referene mnul. (0). Pro. of SPIE Vol M-

Duality in linear interval equations

Duality in linear interval equations Aville online t http://ijim.sriu..ir Int. J. Industril Mthemtis Vol. 1, No. 1 (2009) 41-45 Dulity in liner intervl equtions M. Movhedin, S. Slhshour, S. Hji Ghsemi, S. Khezerloo, M. Khezerloo, S. M. Khorsny

More information

Single-Layer Trunk Routing Using 45-Degree Lines within Critical Areas for PCB Routing

Single-Layer Trunk Routing Using 45-Degree Lines within Critical Areas for PCB Routing SASIMI 2010 Proeedings (R3-8) Single-Lyer Trunk Routing Using 45-Degree Lines within Critil Ares for PCB Routing Kyosuke SHINODA Yukihide KOHIRA Atsushi TAKAHASHI Tokyo Institute of Tehnology Dept. of

More information

CS 241 Week 4 Tutorial Solutions

CS 241 Week 4 Tutorial Solutions CS 4 Week 4 Tutoril Solutions Writing n Assemler, Prt & Regulr Lnguges Prt Winter 8 Assemling instrutions utomtilly. slt $d, $s, $t. Solution: $d, $s, nd $t ll fit in -it signed integers sine they re 5-it

More information

Chapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved.

Chapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved. Chpter 9 Greey Tehnique Copyright 2007 Person Aison-Wesley. All rights reserve. Greey Tehnique Construts solution to n optimiztion prolem piee y piee through sequene of hoies tht re: fesile lolly optiml

More information

Lesson 4.4. Euler Circuits and Paths. Explore This

Lesson 4.4. Euler Circuits and Paths. Explore This Lesson 4.4 Euler Ciruits nd Pths Now tht you re fmilir with some of the onepts of grphs nd the wy grphs onvey onnetions nd reltionships, it s time to egin exploring how they n e used to model mny different

More information

Internet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014.

Internet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014. omputer Networks 9/29/2014 IP Pket Formt Internet Routing Ki Shen IP protool version numer heder length (words) for qulity of servie mx numer remining hops (deremented t eh router) upper lyer protool to

More information

[SYLWAN., 158(6)]. ISI

[SYLWAN., 158(6)]. ISI The proposl of Improved Inext Isomorphi Grph Algorithm to Detet Design Ptterns Afnn Slem B-Brhem, M. Rizwn Jmeel Qureshi Fulty of Computing nd Informtion Tehnology, King Adulziz University, Jeddh, SAUDI

More information

Width and Bounding Box of Imprecise Points

Width and Bounding Box of Imprecise Points Width nd Bounding Box of Impreise Points Vhideh Keikh Mrten Löffler Ali Mohdes Zhed Rhmti Astrt In this pper we study the following prolem: we re given set L = {l 1,..., l n } of prllel line segments,

More information

[Prakash* et al., 5(8): August, 2016] ISSN: IC Value: 3.00 Impact Factor: 4.116

[Prakash* et al., 5(8): August, 2016] ISSN: IC Value: 3.00 Impact Factor: 4.116 [Prksh* et l 58: ugust 6] ISSN: 77-9655 I Vlue: Impt Ftor: 6 IJESRT INTERNTIONL JOURNL OF ENGINEERING SIENES & RESERH TEHNOLOGY SOME PROPERTIES ND THEOREM ON FUZZY SU-TRIDENT DISTNE Prveen Prksh* M Geeth

More information

CMPUT101 Introduction to Computing - Summer 2002

CMPUT101 Introduction to Computing - Summer 2002 CMPUT Introdution to Computing - Summer 22 %XLOGLQJ&RPSXWHU&LUFXLWV Chpter 4.4 3XUSRVH We hve looked t so fr how to uild logi gtes from trnsistors. Next we will look t how to uild iruits from logi gtes,

More information

CS553 Lecture Introduction to Data-flow Analysis 1

CS553 Lecture Introduction to Data-flow Analysis 1 ! Ide Introdution to Dt-flow nlysis!lst Time! Implementing Mrk nd Sweep GC!Tody! Control flow grphs! Liveness nlysis! Register llotion CS553 Leture Introdution to Dt-flow Anlysis 1 Dt-flow Anlysis! Dt-flow

More information

Outline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP

Outline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP ARCH This work ws supported y: The Europen Reserh Counil, The Isreli Centers of Reserh Exellene, The Neptune Consortium, nd Ntionl Siene Foundtion wrd CNS-119748 Outline Motivtion Bkground Regulr Expression

More information

SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS

SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS Progress In Eletromgnetis Reserh C, Vol. 3, 195 22, 28 SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS W.-L. Chen nd G.-M. Wng Rdr Engineering Deprtment Missile Institute of Air Fore Engineering

More information

COMP108 Algorithmic Foundations

COMP108 Algorithmic Foundations Grph Theory Prudene Wong http://www.s.liv..uk/~pwong/tehing/omp108/201617 How to Mesure 4L? 3L 5L 3L ontiner & 5L ontiner (without mrk) infinite supply of wter You n pour wter from one ontiner to nother

More information

Lecture 8: Graph-theoretic problems (again)

Lecture 8: Graph-theoretic problems (again) COMP36111: Advned Algorithms I Leture 8: Grph-theoreti prolems (gin) In Prtt-Hrtmnn Room KB2.38: emil: iprtt@s.mn..uk 2017 18 Reding for this leture: Sipser: Chpter 7. A grph is pir G = (V, E), where V

More information

MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam

MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam Cmrige, Msshusetts Introution to Mtrois n Applitions Srikumr Rmlingm MERL mm//yy Liner Alger (,0,0) (0,,0) Liner inepenene in vetors: v, v2,..., For ll non-trivil we hve s v s v n s, s2,..., s n 2v2...

More information

V = set of vertices (vertex / node) E = set of edges (v, w) (v, w in V)

V = set of vertices (vertex / node) E = set of edges (v, w) (v, w in V) Definitions G = (V, E) V = set of verties (vertex / noe) E = set of eges (v, w) (v, w in V) (v, w) orere => irete grph (igrph) (v, w) non-orere => unirete grph igrph: w is jent to v if there is n ege from

More information

Layout Compliance for Triple Patterning Lithography: An Iterative Approach

Layout Compliance for Triple Patterning Lithography: An Iterative Approach Layout Compliane for Triple Patterning Lithography: An Iterative Approah Bei Yu, Gilda Garreton, David Z. Pan ECE Dept. University of Texas at Austin, Austin, TX, USA Orale Las, Orale Corporation, Redwood

More information

Problem Final Exam Set 2 Solutions

Problem Final Exam Set 2 Solutions CSE 5 5 Algoritms nd nd Progrms Prolem Finl Exm Set Solutions Jontn Turner Exm - //05 0/8/0. (5 points) Suppose you re implementing grp lgoritm tt uses ep s one of its primry dt strutures. Te lgoritm does

More information

Fault tree conversion to binary decision diagrams

Fault tree conversion to binary decision diagrams Loughorough University Institutionl Repository Fult tree onversion to inry deision digrms This item ws sumitted to Loughorough University's Institutionl Repository y the/n uthor. Cittion: ANDREWS, J.D.

More information

Calculus Differentiation

Calculus Differentiation //007 Clulus Differentition Jeffrey Seguritn person in rowot miles from the nerest point on strit shoreline wishes to reh house 6 miles frther down the shore. The person n row t rte of mi/hr nd wlk t rte

More information

2 Computing all Intersections of a Set of Segments Line Segment Intersection

2 Computing all Intersections of a Set of Segments Line Segment Intersection 15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design

More information

CS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal

CS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal CS 55 Computer Grphis Hidden Surfe Removl Hidden Surfe Elimintion Ojet preision lgorithms: determine whih ojets re in front of others Uses the Pinter s lgorithm drw visile surfes from k (frthest) to front

More information

COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE

COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE 24 th Interntionl Conferene on Eletriity Distriution Glsgow, 12-15 June 2017 Pper 0615 COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE Mihel SANKUR Dniel ARNOLD Lun SCHECTOR

More information

Distance Computation between Non-convex Polyhedra at Short Range Based on Discrete Voronoi Regions

Distance Computation between Non-convex Polyhedra at Short Range Based on Discrete Voronoi Regions Distne Computtion etween Non-onvex Polyhedr t Short Rnge Bsed on Disrete Voronoi Regions Ktsuki Kwhi nd Hiroms Suzuki Deprtment of Preision Mhinery Engineering, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku,

More information

Lecture 12 : Topological Spaces

Lecture 12 : Topological Spaces Leture 12 : Topologil Spes 1 Topologil Spes Topology generlizes notion of distne nd loseness et. Definition 1.1. A topology on set X is olletion T of susets of X hving the following properties. 1. nd X

More information

A dual of the rectangle-segmentation problem for binary matrices

A dual of the rectangle-segmentation problem for binary matrices A dul of the rectngle-segmenttion prolem for inry mtrices Thoms Klinowski Astrct We consider the prolem to decompose inry mtrix into smll numer of inry mtrices whose -entries form rectngle. We show tht

More information

IMAGE COMPRESSION USING HIRARCHICAL LINEAR POLYNOMIAL CODING

IMAGE COMPRESSION USING HIRARCHICAL LINEAR POLYNOMIAL CODING Rsh Al-Tmimi et l, Interntionl Journl of Computer Siene nd Mobile Computing, Vol.4 Issue.1, Jnury- 015, pg. 11-119 Avilble Online t www.ijsm.om Interntionl Journl of Computer Siene nd Mobile Computing

More information

Parallelization Optimization of System-Level Specification

Parallelization Optimization of System-Level Specification Prlleliztion Optimiztion of System-Level Speifition Luki i niel. Gjski enter for Emedded omputer Systems University of liforni Irvine, 92697, US {li, gjski} @es.ui.edu strt This pper introdues the prlleliztion

More information

Paradigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms

Paradigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms Prdigm. Dt Struture Known exmples: link tble, hep, Our leture: suffix tree Will involve mortize method tht will be stressed shortly in this ourse Suffix trees Wht is suffix tree? Simple pplitions History

More information

Greedy Algorithm. Algorithm Fall Semester

Greedy Algorithm. Algorithm Fall Semester Greey Algorithm Algorithm 0 Fll Semester Optimiztion prolems An optimiztion prolem is one in whih you wnt to fin, not just solution, ut the est solution A greey lgorithm sometimes works well for optimiztion

More information

COSC 6374 Parallel Computation. Non-blocking Collective Operations. Edgar Gabriel Fall Overview

COSC 6374 Parallel Computation. Non-blocking Collective Operations. Edgar Gabriel Fall Overview COSC 6374 Prllel Computtion Non-loking Colletive Opertions Edgr Griel Fll 2014 Overview Impt of olletive ommunition opertions Impt of ommunition osts on Speedup Crtesin stenil ommunition All-to-ll ommunition

More information

4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees.

4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees. 428 T FOU 4.3 Blned Trees T BT GOIT IN T VIOU setion work well for wide vriety of pplitions, ut they hve poor worst-se performne. s we hve noted, files lredy in order, files in reverse order, files with

More information

10.2 Graph Terminology and Special Types of Graphs

10.2 Graph Terminology and Special Types of Graphs 10.2 Grph Terminology n Speil Types of Grphs Definition 1. Two verties u n v in n unirete grph G re lle jent (or neighors) in G iff u n v re enpoints of n ege e of G. Suh n ege e is lle inient with the

More information

Lecture 13: Graphs I: Breadth First Search

Lecture 13: Graphs I: Breadth First Search Leture 13 Grphs I: BFS 6.006 Fll 2011 Leture 13: Grphs I: Bredth First Serh Leture Overview Applitions of Grph Serh Grph Representtions Bredth-First Serh Rell: Grph G = (V, E) V = set of verties (ritrry

More information

Type Checking. Roadmap (Where are we?) Last lecture Context-sensitive analysis. This lecture Type checking. Symbol tables

Type Checking. Roadmap (Where are we?) Last lecture Context-sensitive analysis. This lecture Type checking. Symbol tables Type Cheking Rodmp (Where re we?) Lst leture Contet-sensitie nlysis Motition Attriute grmmrs Ad ho Synt-direted trnsltion This leture Type heking Type systems Using synt direted trnsltion Symol tles Leil

More information

Convex Hull Algorithms. Convex hull: basic facts

Convex Hull Algorithms. Convex hull: basic facts CG Leture D Conve Hull Algorithms Bsi fts Algorithms: Nïve, Gift wrpping, Grhm sn, Quik hull, Divide-nd-onquer Lower ound 3D Bsi fts Algorithms: Gift wrpping, Divide nd onquer, inrementl Conve hulls in

More information

FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE

FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE INTERNATIONAL JOURNAL OF RESEARCH IN COMPUTER APPLICATIONS AND ROBOTICS ISSN 2320-7345 FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE 1 M.JothiLkshmi, M.S., M.Phil. 2 C.Theeendr, M.S., M.Phil. 3 M.K.Pvithr,

More information

An Approach to Filter the Test Data for Killing Multiple Mutants in Different Locations

An Approach to Filter the Test Data for Killing Multiple Mutants in Different Locations Interntionl Journl of Computer Theory nd Engineering, Vol. 5, No. 2, April 2013 An Approh to Filter the Test Dt for Killing Multiple Mutnts in Different Lotions Ngendr Prtp Singh, Rishi Mishr, Silesh Tiwri,

More information

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1): Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters

More information

Error Numbers of the Standard Function Block

Error Numbers of the Standard Function Block A.2.2 Numers of the Stndrd Funtion Blok evlution The result of the logi opertion RLO is set if n error ours while the stndrd funtion lok is eing proessed. This llows you to rnh to your own error evlution

More information

A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED VOLTAGE WAVESHAPES

A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED VOLTAGE WAVESHAPES A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED OLTAGE WAESHAPES M.H.J. Bollen, L.D. Zhng Dept. Eletri Power Engineering Chlmers University of Tehnology, Gothenurg, Sweden Astrt:

More information

Minimal Memory Abstractions

Minimal Memory Abstractions Miniml Memory Astrtions (As implemented for BioWre Corp ) Nthn Sturtevnt University of Alert GAMES Group Ferury, 7 Tlk Overview Prt I: Building Astrtions Minimizing memory requirements Performnes mesures

More information

Midterm Exam CSC October 2001

Midterm Exam CSC October 2001 Midterm Exm CSC 173 23 Otoer 2001 Diretions This exm hs 8 questions, severl of whih hve suprts. Eh question indites its point vlue. The totl is 100 points. Questions 5() nd 6() re optionl; they re not

More information

Distance vector protocol

Distance vector protocol istne vetor protool Irene Finohi finohi@i.unirom.it Routing Routing protool Gol: etermine goo pth (sequene of routers) thru network from soure to Grph strtion for routing lgorithms: grph noes re routers

More information

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers Mth Modeling Lecture 4: Lgrnge Multipliers Pge 4452 Mthemticl Modeling Lecture 4: Lgrnge Multipliers Lgrnge multipliers re high powered mthemticl technique to find the mximum nd minimum of multidimensionl

More information

Incremental Design Debugging in a Logic Synthesis Environment

Incremental Design Debugging in a Logic Synthesis Environment Inrementl Design Deugging in Logi Synthesis Environment Andres Veneris Jing Brndon Liu University of Toronto Freesle Semiondutors Dept ECE nd CS High Performne Tools Group Toronto, ON M5S 3G4 Austin, TX

More information

CS453 INTRODUCTION TO DATAFLOW ANALYSIS

CS453 INTRODUCTION TO DATAFLOW ANALYSIS CS453 INTRODUCTION TO DATAFLOW ANALYSIS CS453 Leture Register llotion using liveness nlysis 1 Introdution to Dt-flow nlysis Lst Time Register llotion for expression trees nd lol nd prm vrs Tody Register

More information

The Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline

The Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline CPSC 852 Internetworking The Network Lyer: Routing in the Internet Mihele Weigle Deprtment of Computer Siene Clemson University mweigle@s.lemson.edu http://www.s.lemson.edu/~mweigle/ourses/ps852 1 The

More information

Tight triangulations: a link between combinatorics and topology

Tight triangulations: a link between combinatorics and topology Tight tringultions: link between ombintoris nd topology Jonthn Spreer Melbourne, August 15, 2016 Topologil mnifolds (Geometri) Topology is study of mnifolds (surfes) up to ontinuous deformtion Complited

More information

COSC 6374 Parallel Computation. Communication Performance Modeling (II) Edgar Gabriel Fall Overview. Impact of communication costs on Speedup

COSC 6374 Parallel Computation. Communication Performance Modeling (II) Edgar Gabriel Fall Overview. Impact of communication costs on Speedup COSC 6374 Prllel Computtion Communition Performne Modeling (II) Edgr Griel Fll 2015 Overview Impt of ommunition osts on Speedup Crtesin stenil ommunition All-to-ll ommunition Impt of olletive ommunition

More information

Efficient Rerouting Algorithms for Congestion Mitigation

Efficient Rerouting Algorithms for Congestion Mitigation 2009 IEEE Computer Society Annul Symposium on VLSI Efficient Rerouting Algorithms for Congestion Mitigtion M. A. R. Chudhry*, Z. Asd, A. Sprintson, nd J. Hu Deprtment of Electricl nd Computer Engineering

More information

Approximation of Two-Dimensional Rectangle Packing

Approximation of Two-Dimensional Rectangle Packing pproximtion of Two-imensionl Rectngle Pcking Pinhong hen, Yn hen, Mudit Goel, Freddy Mng S70 Project Report, Spring 1999. My 18, 1999 1 Introduction 1-d in pcking nd -d in pcking re clssic NP-complete

More information

and vertically shrinked by

and vertically shrinked by 1. A first exmple 1.1. From infinite trnsltion surfe mp to end-periodi mp. We begin with n infinite hlf-trnsltion surfe M 0 desribed s in Figure 1 nd n ffine mp f 0 defined s follows: the surfe is horizontlly

More information

Pattern Matching. Pattern Matching. Pattern Matching. Review of Regular Expressions

Pattern Matching. Pattern Matching. Pattern Matching. Review of Regular Expressions Pttern Mthing Pttern Mthing Some of these leture slides hve een dpted from: lgorithms in C, Roert Sedgewik. Gol. Generlize string serhing to inompletely speified ptterns. pplitions. Test if string or its

More information

Final Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book

Final Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book inl xm Review 06 M 236 e sure to loo over ll of your tests, s well s over the tivities you did in the tivity oo 1 1. ind the mesures of the numered ngles nd justify your wor. Line j is prllel to line.

More information

Introduction to Algebra

Introduction to Algebra INTRODUCTORY ALGEBRA Mini-Leture 1.1 Introdution to Alger Evlute lgeri expressions y sustitution. Trnslte phrses to lgeri expressions. 1. Evlute the expressions when =, =, nd = 6. ) d) 5 10. Trnslte eh

More information

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin

More information

Distributed Systems Principles and Paradigms. Chapter 11: Distributed File Systems

Distributed Systems Principles and Paradigms. Chapter 11: Distributed File Systems Distriuted Systems Priniples nd Prdigms Mrten vn Steen VU Amsterdm, Dept. Computer Siene steen@s.vu.nl Chpter 11: Distriuted File Systems Version: Deemer 10, 2012 2 / 14 Distriuted File Systems Distriuted

More information

SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING

SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING Chpter 17 SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING Frnk Eihinger Institute for Progrm Strutures nd Dt Orgniztion (IPD) Universit-t Krlsruhe (TH), Germny eihinger@ipd.uk.de Klemens B-ohm Institute for

More information

Photovoltaic Panel Modelling Using a Stochastic Approach in MATLAB &Simulink

Photovoltaic Panel Modelling Using a Stochastic Approach in MATLAB &Simulink hotovolti nel Modelling Using Stohsti Approh in MATLAB &Simulink KAREL ZALATILEK, JAN LEUCHTER eprtment of Eletril Engineering University of efene Kouniov 65, 61 City of Brno CZECH REUBLIC krelzpltilek@unoz,

More information

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using

More information

Research Article Determining Sensor Locations in Wireless Sensor Networks

Research Article Determining Sensor Locations in Wireless Sensor Networks Interntionl Journl of Distriuted Sensor Networks Volume 2015, Artile ID 914625, 6 pges http://dx.doi.org/10.1155/2015/914625 Reserh Artile Determining Sensor Lotions in Wireless Sensor Networks Zimo Li

More information

INTEGRATED WORKFLOW ART DIRECTOR

INTEGRATED WORKFLOW ART DIRECTOR ART DIRECTOR Progrm Resoures INTEGRATED WORKFLOW PROGRAM PLANNING PHASE In this workflow phse proess, you ollorte with the Progrm Mnger, the Projet Mnger, nd the Art Speilist/ Imge Led to updte the resoures

More information

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs. Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online

More information

Lily Yen and Mogens Hansen

Lily Yen and Mogens Hansen SKOLID / SKOLID No. 8 Lily Yen nd Mogens Hnsen Skolid hs joined Mthemticl Myhem which is eing reformtted s stnd-lone mthemtics journl for high school students. Solutions to prolems tht ppered in the lst

More information

Ma/CS 6b Class 1: Graph Recap

Ma/CS 6b Class 1: Graph Recap M/CS 6 Clss 1: Grph Recp By Adm Sheffer Course Detils Adm Sheffer. Office hour: Tuesdys 4pm. dmsh@cltech.edu TA: Victor Kstkin. Office hour: Tuesdys 7pm. 1:00 Mondy, Wednesdy, nd Fridy. http://www.mth.cltech.edu/~2014-15/2term/m006/

More information

arxiv: v1 [cs.oh] 2 Aug 2014

arxiv: v1 [cs.oh] 2 Aug 2014 Triple Patterning Lithography (TPL) Layout Decomposition using End-Cutting Bei Yu a 1, Subhendu Roy a, Jhih-Rong Gao b, David Z. Pan a a ECE Department, University of Texas at Austin, Austin, Texas, United

More information

Approximate Joins for Data Centric XML

Approximate Joins for Data Centric XML Approximte Joins for Dt Centri XML Nikolus Augsten 1, Mihel Böhlen 1, Curtis Dyreson, Johnn Gmper 1 1 Fulty of Computer Siene, Free University of Bozen-Bolzno Dominiknerpltz 3, Bozen, Itly {ugsten,oehlen,gmper}@inf.uniz.it

More information

What are suffix trees?

What are suffix trees? Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl

More information

Taming Subgraph Isomorphism for RDF Query Processing

Taming Subgraph Isomorphism for RDF Query Processing Tming Sugrph Isomorphism for RDF Query Proessing Jinh Kim # jinh.kim@orle.om Hyungyu Shin hgshin@dl.posteh..kr Wook-Shin Hn wshn@posteh..kr Sungpk Hong # Hssn Chfi # {sungpk.hong, hssn.hfi}@orle.om POSTECH,

More information

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it.

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it. 6.3 Volumes Just s re is lwys positive, so is volume nd our ttitudes towrds finding it. Let s review how to find the volume of regulr geometric prism, tht is, 3-dimensionl oject with two regulr fces seprted

More information

Slides for Data Mining by I. H. Witten and E. Frank

Slides for Data Mining by I. H. Witten and E. Frank Slides for Dt Mining y I. H. Witten nd E. Frnk Simplicity first Simple lgorithms often work very well! There re mny kinds of simple structure, eg: One ttriute does ll the work All ttriutes contriute eqully

More information

Tracking Hidden Agents Through Shadow Information Spaces

Tracking Hidden Agents Through Shadow Information Spaces Trking Hidden Agents Through Shdow Informtion Spes Jingjin Yu Steven M. LVlle jyu@uiu.edu lvlle@uiu.edu Deprtment of Computer Siene University of Illinois Urn, IL 601 USA Astrt This pper ddresses prolems

More information

6.045J/18.400J: Automata, Computability and Complexity. Quiz 2: Solutions. Please write your name in the upper corner of each page.

6.045J/18.400J: Automata, Computability and Complexity. Quiz 2: Solutions. Please write your name in the upper corner of each page. 6045J/18400J: Automt, Computbility nd Complexity Mrh 30, 2005 Quiz 2: Solutions Prof Nny Lynh Vinod Vikuntnthn Plese write your nme in the upper orner of eh pge Problem Sore 1 2 3 4 5 6 Totl Q2-1 Problem

More information

Distributed Systems Principles and Paradigms

Distributed Systems Principles and Paradigms Distriuted Systems Priniples nd Prdigms Christoph Dorn Distriuted Systems Group, Vienn University of Tehnology.dorn@infosys.tuwien..t http://www.infosys.tuwien..t/stff/dorn Slides dpted from Mrten vn Steen,

More information

A decision support system prototype for fuzzy multiple objective optimization

A decision support system prototype for fuzzy multiple objective optimization EUSFLAT - LFA A eision support system prototype for fuzzy multiple ojetive optimiztion Fengjie Wu Jie Lu n Gungqun Zhng Fulty of Informtion Tehnology University of Tehnology Syney Austrli E-mil: {fengjiewjieluzhngg}@it.uts.eu.u

More information

An Efficient Code Update Scheme for DSP Applications in Mobile Embedded Systems

An Efficient Code Update Scheme for DSP Applications in Mobile Embedded Systems An Effiient Code Updte Sheme for DSP Applitions in Moile Emedded Systems Weiji Li, Youto Zhng Computer Siene Deprtment,University of Pittsurgh,Pittsurgh, PA 526 {weijili,zhngyt}@s.pitt.edu Astrt DSP proessors

More information

Cooperative Routing in Multi-Source Multi-Destination Multi-hop Wireless Networks

Cooperative Routing in Multi-Source Multi-Destination Multi-hop Wireless Networks oopertive Routing in Multi-Soure Multi-estintion Multi-hop Wireless Networks Jin Zhng Qin Zhng eprtment of omputer Siene n ngineering Hong Kong University of Siene n Tehnology, HongKong {zjzj, qinzh}@se.ust.hk

More information

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016 Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence Winter 2016 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl

More information

Additional Measurement Algorithms in the Overhauser Magnetometer POS-1

Additional Measurement Algorithms in the Overhauser Magnetometer POS-1 Additionl Mesurement Algorithms in the Overhuser Mgnetometer POS-1 O.V. Denisov, A.Y. Denisov, V.A. Spunov (QM Lortory of Url Stte Tehnil University, Mir 19, Ekterinurg, 620002, Russi) J.L. Rsson (Royl

More information

Honors Thesis: Investigating the Algebraic Properties of Cayley Digraphs

Honors Thesis: Investigating the Algebraic Properties of Cayley Digraphs Honors Thesis: Investigting the Algebri Properties of Cyley Digrphs Alexis Byers, Wittenberg University Mthemtis Deprtment April 30, 2014 This pper utilizes Grph Theory to gin insight into the lgebri struture

More information

Quadrilateral and Tetrahedral Mesh Stripification Using 2-Factor Partitioning of the Dual Graph

Quadrilateral and Tetrahedral Mesh Stripification Using 2-Factor Partitioning of the Dual Graph The Visul omputer mnusript No. (will e inserted y the editor) Plo Diz-Gutierrez M. Gopi Qudrilterl nd Tetrhedrl Mesh Stripifition Using 2-Ftor Prtitioning of the Dul Grph strt In order to find 2-ftor of

More information

UTMC APPLICATION NOTE UT1553B BCRT TO INTERFACE PSEUDO-DUAL-PORT RAM ARCHITECTURE INTRODUCTION ARBITRATION DETAILS DESIGN SELECTIONS

UTMC APPLICATION NOTE UT1553B BCRT TO INTERFACE PSEUDO-DUAL-PORT RAM ARCHITECTURE INTRODUCTION ARBITRATION DETAILS DESIGN SELECTIONS UTMC APPLICATION NOTE UT1553B BCRT TO 80186 INTERFACE INTRODUCTION The UTMC UT1553B BCRT is monolithi CMOS integrte iruit tht provies omprehensive Bus Controller n Remote Terminl funtions for MIL-STD-

More information

s 1 t 4 s 2 4 t 2 a b r 2 r 8 r10 g 4

s 1 t 4 s 2 4 t 2 a b r 2 r 8 r10 g 4 k-pirs Non-Crossing Shortest Pths in Simple Polgon Evnthi Ppdopoulou Northwestern Universit, Evnston, Illinois 60208, USA Astrt. This pper presents n O(n + k) time lgorithm to ompute the set of k non-rossing

More information

COMBINATORIAL PATTERN MATCHING

COMBINATORIAL PATTERN MATCHING COMBINATORIAL PATTERN MATCHING Genomic Repets Exmple of repets: ATGGTCTAGGTCCTAGTGGTC Motivtion to find them: Genomic rerrngements re often ssocited with repets Trce evolutionry secrets Mny tumors re chrcterized

More information

Asymmetric Visual Hierarchy Comparison with Nested Icicle Plots

Asymmetric Visual Hierarchy Comparison with Nested Icicle Plots symmetri Visul Hierrhy Comprison with Nested Iile Plots Fin ek 1, Frnz-Josef Wiszniewsky 2, Mihel urh 1, Stephn Diehl 2, nd Dniel Weiskopf 1 1 VISUS, University of Stuttgrt, Germny 2 University of Trier,

More information

TEMPLATE FOR ENTRY in Encyclopedia of Database Systems: GRID FILE. Yannis Manolopoulos

TEMPLATE FOR ENTRY in Encyclopedia of Database Systems: GRID FILE. Yannis Manolopoulos TEMPLATE FOR ENTRY in Enylopedi of Dtse Systems: GRID FILE Apostolos N. Ppdopoulos Ynnis Mnolopoulos Ynnis Theodoridis Vssilis Tsotrs Deprtment of Informtis Aristotle University of Thessloniki Thessloniki,

More information

CS481: Bioinformatics Algorithms

CS481: Bioinformatics Algorithms CS481: Bioinformtics Algorithms Cn Alkn EA509 clkn@cs.ilkent.edu.tr http://www.cs.ilkent.edu.tr/~clkn/teching/cs481/ EXACT STRING MATCHING Fingerprint ide Assume: We cn compute fingerprint f(p) of P in

More information

10.5 Graphing Quadratic Functions

10.5 Graphing Quadratic Functions 0.5 Grphing Qudrtic Functions Now tht we cn solve qudrtic equtions, we wnt to lern how to grph the function ssocited with the qudrtic eqution. We cll this the qudrtic function. Grphs of Qudrtic Functions

More information

Tiling Triangular Meshes

Tiling Triangular Meshes Tiling Tringulr Meshes Ming-Yee Iu EPFL I&C 1 Introdution Astrt When modelling lrge grphis senes, rtists re not epeted to model minute nd repetitive fetures suh s grss or snd with individul piees of geometry

More information

LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION

LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION Overview LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION 4.4.1.0 Due to the omplex nture of this updte, plese fmilirize yourself with these instrutions nd then ontt RGB Spetrum Tehnil

More information

COMP 423 lecture 11 Jan. 28, 2008

COMP 423 lecture 11 Jan. 28, 2008 COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring

More information

McAfee Web Gateway

McAfee Web Gateway Relese Notes Revision C MAfee We Gtewy 7.6.2.11 Contents Aout this relese Enhnement Resolved issues Instlltion instrutions Known issues Additionl informtion Find produt doumenttion Aout this relese This

More information

COSC 6374 Parallel Computation. Dense Matrix Operations

COSC 6374 Parallel Computation. Dense Matrix Operations COSC 6374 Prllel Computtion Dense Mtrix Opertions Edgr Griel Fll Edgr Griel Prllel Computtion Edgr Griel erminology Dense Mtrix: ll elements of the mtrix ontin relevnt vlues ypilly stored s 2-D rry, (e.g.

More information

In the last lecture, we discussed how valid tokens may be specified by regular expressions.

In the last lecture, we discussed how valid tokens may be specified by regular expressions. LECTURE 5 Scnning SYNTAX ANALYSIS We know from our previous lectures tht the process of verifying the syntx of the progrm is performed in two stges: Scnning: Identifying nd verifying tokens in progrm.

More information

CS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis

CS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis CS143 Hndout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexicl Anlysis In this first written ssignment, you'll get the chnce to ply round with the vrious constructions tht come up when doing lexicl

More information

Geometrical reasoning 1

Geometrical reasoning 1 MODULE 5 Geometril resoning 1 OBJECTIVES This module is for study y n individul teher or group of tehers. It: looks t pprohes to developing pupils visulistion nd geometril resoning skills; onsiders progression

More information

Line The set of points extending in two directions without end uniquely determined by two points. The set of points on a line between two points

Line The set of points extending in two directions without end uniquely determined by two points. The set of points on a line between two points Lines Line Line segment Perpendiulr Lines Prllel Lines Opposite Angles The set of points extending in two diretions without end uniquely determined by two points. The set of points on line between two

More information

VSxF-2/-3/-4 SMALL LINEAR VALVES PN16 FOR MODULATING AND ON/OFF-CONTROL SPECIFICATIONS

VSxF-2/-3/-4 SMALL LINEAR VALVES PN16 FOR MODULATING AND ON/OFF-CONTROL SPECIFICATIONS VSxF2/3/4 SMLL LINER VLVES PN16 FOR MODULTING ND ON/OFFCONTROL VSxF2 VSxF3 VSxF4 GENERL These smll liner vlves re used in omintion with smll eletri liner vlve tutors nd thermoeletri tutors for the ontrol

More information