简介：

简介：Ensuringahighmanufacturingtestqualityofanintegratedelectroniccircuitmandatestheapplicationofalargevolumetestset.Evenifthetestdatacanbefitintothememoryofanexternaltester,theconsequentincreaseintestapplicationtimereflectsintoelevatedproductioncosts.Testdatacompressionsolutionshavebeenproposedtoaddressthetesttimeanddatavolumeproblembystoringanddeliveringthetestdatainacompressedformat,andsubsequentlybyexpandingthedataon-chip.Inthispaper,weproposeascancellpositioningmethodologythataccompaniesacompressiontechniqueinordertoboostthecompressionratio,andsquashthetestdataevenfurther.Whilewepresenttheapplicationoftheproposedapproachinconjunctionwiththefan-outbaseddecompressionarchitecture,thisapproachcanbeextendedforapplicationalongwithothercompressionsolutionsaswell.Theexperimentalresultsalsoconfirmthecompressionenhancementoftheproposedmethodology.

简介：

简介：简介TimeTrackerStarterKit使开发人员能够轻松地创建项目跟踪应用程序，帮助用户跟踪分配给特定项目的时间。TimeTrackerStarterKit的思想是提供一个框架，可以使用它快速组织一个实现项目和时间管理系统的实用Web站点。这个StarterKit提供了一系列页而，可以很容易地管理分配给多个项目的时间。它的启始页面包括一个主页，可以记录各个用户分配给特定项日的时间，而其他贝阿允许查看项目、分配给项目的资源以及基于项目或资源的报告。

简介：我们允许的现在的算法与水彩颜料画外观的3D景色的即时显示。我们的途径提供视觉复杂性的适当简化，模仿水彩颜料的典型自然效果，；提供二种必要的画技术：wet-on-wet；wet-on-dry画。我们基于图象空间处理而非在准确模拟上专注于有效算法。这允许3D景色的即时显示。在一张动画期间，高frame-to-frame连贯能由于一个稳定的分割计划被完成。最后，我们无缝地从3D景色用信息把光滑的照明集成到水彩颜料图象。

简介：在这份报纸，我们由输出反馈控制学习分离线性时间延期系统的输出规定问题。我们为连续线性时间延期系统的产量规定问题建立了一些结果平行到那些。

简介：

简介：

简介：Themulticoreevolutionhasstimulatedrenewedinterestsinscalingupapplicationsonshared-memorymultiprocessors,significantlyimprovingthescalabilityofmanyapplications.Butthescalabilityislimitedwithinasinglenode;thereforeprogrammersstillhavetoredesignapplicationstoscaleoutovermultiplenodes.Thispaperrevisitsthedesignandimplementationofdistributedsharedmemory(DSM)asawaytoscaleoutapplicationsoptimizedfornon-uniformmemoryaccess(NUMA)architectureoverawell-connectedcluster.ThispaperpresentsMAGI,anefficientDSMsystemthatprovidesatransparentsharedaddressspacewithscalableperformanceonaclusterwithfastnetworkinterfaces.MAGIisuniqueinthatitpresentsaNUMAabstractiontofullyharnessthemulticoreresourcesineachnodethroughhierarchicalsynchronizationandmemorymanagement.MAGIalsoexploitsthememoryaccesspatternsofbig-dataapplicationsandleveragesasetofoptimizationsforremotedirectmemoryaccess(RDMA)toreducethenumberofpagefaultsandthecostofthecoherenceprotocol.MAGIhasbeenimplementedasauser-spacelibrarywithpthread-compatibleinterfacesandcanrunexistingmultithreadedapplicationswithminimizedmodifications.WedeployedMAGIoveran8-nodeRDMA-enabledcluster.ExperimentalevaluationshowsthatMAGIachievesupto9.25:4speedupcomparedwithanunoptimizedimplementation,leadingtoasealableperformanceforlarge-scaledata-intensiveapplications.

简介：Aconsistentcheckpointingalgorithmwithshortfreezingtime(SFT)ispresentedinthispaper.Itsupportsfault-toleranceindistributedsystems,Thealgorithmhasshorterfreezingtime,loweroverhead,andsimplicityofrecovery.Tomakecheckpointtimeshorter,aspecialcontrolmessage(Munblock)isusedtoensurethataprocesscanrespondthecheckpointeventquicklyatanygiventime.Moreover,mainmemoryalgorithmisusedtoimprovetheconcurrencyofcheckpointing.ByusingSFT,thefreezingtimeresultedbycheckpointingislessthan0.03s.Furthermore,thecontrolmessagenumberofSFTisonlyO(n).

简介：

简介：Renderingoflarge-scaleforestscenesisachallengingtask,whosehighlygeometriccomplexitywillputheavyburdenoncurrentgraphicshardware.Whennavigatingthescene,theoverallvisualresultisgenerallyconsideredasthecoreconcern.Anewmethodisproposedinthispaperforlarge-scaleforestrenderingusingclusteringandmergingstrategies.Ourmethodimprovestherenderingeffectbyclusteringpolygonsaccordingtothepointinformationwithrelationtoneighbours.Afastforestrenderingsystemisdevelopedaccordingly.Therelativetechniquesinthesystemcanimprovethevisualqualityondemandofdifferentapplications.

简介：

简介：Actionrefinementforreal-timeconcurrentprocesseswithurgentinteractionsisstudied,whereapartial-ordersetting,i.e.,timedbundleeventstructures,isusedasthesystemmodelandareal-timeLOTOS-likeprocessalgebraisusedasthespecificationlanguage.Itisshownthattheproposedrefinementapproacheshavethecommonlyexpectedproperties:(1)thebehaviouroftherefinedprocesscanbeinferredcompositionallyfromthebehaviouroftheoriginalprocessandfromthebehaviouroftheprocessessubstitutedforactions;(2)thetimedextensionsofpomset(partiallyorderedmultiset)traceequivalenceandhistorypreservingbisimulationequivalencearebothcongruencesundertherefinement;(3)thesyntacticandsemanticrefinementscoincideuptotheaforementionedequivalencerelationswithrespecttoacpo-baseddenotationalsemantics.

简介：改进动态特征和联合能力，一个新预兆的功能的控制算法与时间延期为强壮的联合multivariable系统被建议，它联合预兆的功能的控制和去耦控制。首先，一个去耦控制算法被建议，在哪个有延期被分析decoupled的振幅频率和阶段频率特征建立的时间的一阶的模型使遭到。然后，一个控制器基于预兆的功能的控制的原则在去耦以后为单个变量的题目被设计。模拟结果证明这个建议算法有更少的联机计算时间并且更快的追踪。它能为复杂multivariable系统提供更有效的控制。

简介：

简介：这篇论文与变化时间的延期探讨polytopic系统的Hankel标准。延期依赖者足够的条件被介绍以便polytopic系统是稳定的，polytopic系统的Hankel标准是不到规定数量以线性矩阵不平等。一个数字例子被举。

简介：Inthispaper,aqualitativemodelcheckingalgorithmforverificationofdistributedprobabilisticreal-timesystems(DPRS)ispresented.ThemodelofDPRS,calledreal-timeprobabilisticprocessmodel(RPPM),isovercontinuoustimedomain.ThepropertiesofDPRSaredescribedbyusingdeterministictimedautomata(DTA).Thekeypartinthealgorithmistomapcontinuoustimetofinitetimeintervalswithflagvariables.Comparedwiththeexistingalgorithms,thisalgorithmusesmoregeneraldelaytimeequivalenceclassesinsteadoftheunitdelaytimeequivalenceclassesrestrictedbyeventsequence,andavoidsgeneratingtheequivalenceclassesofstatesonlyduetothepassageoftime.Theresultshowsthatthisalgorithmischeaper.

简介：数据存取延期成为了高端计算系统的突出的性能瓶颈。在系统设计减少数据存取延期的关键是减少数据货摊时间。存储器地区和并发是影响现代存储器系统的性能的二个必要因素。因为全面存储器系统性能上的存储器并发的影响很好没被理解，然而，存在在利用数据存取并发上在很少减少数据货摊时间学习焦点。在这研究，一双新奇数据货摊时间模型，为地区和并发的联合努力的L-C模型和为数据上的纯失误的效果的下午模型阻止时间，被介绍。模型提供数据存取延期的新理解并且为表演优化提供新方向。基于这些新模型，先进缓存优化的一张概括表格被介绍。当时，被数据并发贡献了，把38个条目仅仅，21个条目由数据地区作出贡献，它显示出数据并发的值。在这研究介绍的L-C和下午模型和他们的联系结果和机会为数据中央的建筑学和算法现代计算系统设计的未来重要、必要。

简介：Covarianceofcleansignalandobservednoiseisnecessaryforextractingcleansignalfromatimeseries.Thisistransferredtocalculatethecovarianceofobservednoiseandcleansignal'sMAprocess,whenthecleansignalisdescribedbyanautoregressivemovingaverage(ARMA)model.Usingthecorrelationsoftheinnovationsdatafromobservedtimeseriestoformaleast-squaresproblem,aconciselyautocovarianceleast-square(CALS)methodhasbeenproposedtoestimatethecovariance.Wealsoextendedourw...