简介：<正>WhentheTVviewerturnsonhisset,whatsortofprogramsdoeshehavetochoose?Youmightthinktherewouldbe

简介：

简介：Inthispaper,wepresentadetectiontechniqueofand-parallelisminlogicprograms.Thedetectionconsistsofthreephases:analysisofentrymodes,derivationofexitmodesanddeterminationofexecutiongraphexpressions.Comparedwithothertechniques^[2,4,5],ourapproachwiththecompile-timeprogram-leveldata-dependenceanalysisoflogicprograms,canefficientlyexploitand-parallelisminlogicprograms.Twoprecompilers,basedonourtechniqueandDeGroot'sapproach^[3]respectively,havebeenimplementedinSES-PIMsystem^[12],ThroughcompilingandrunningsometypicalbenchmarksinSES-PIM,weconcludethatourtechniquecan,inmostcases,exploitasmuchand-parallelismasthedynamicapproach^[13]doesunder“produces-consumer”scheme,andneedslessdynamicoverheadwhileexploitingmoreandparallelismthanDeGroot'sapproachdoes.

简介：

简介：Transactionalmemory(TM)isanewpromisingconcurrency-controlmechanismthatcanavoidmanyofthepitfallsofthetraditionallock-basedtechniques.TMsystemshandledataracesbetweenthreadsautomaticallysothatprogrammersdonothavetoreasonabouttheinteractionofthreadsmanually.TMprovidesaprogrammingmodelthatmaymakethedevelopmentofmulti-threadedprogramseasier.MuchworkhasbeendonetoexplorethevariousimplementationstrategiesofTMsystemsandtoachievebetterperformance,butlittlehasbeendoneonhowtoformallyreasonaboutprogramsusingTMandhowtomakesurethatsuchreasoningissound.Inthispaper,wefocusonthesemanticsoftransactionalmemoryandpresentaproof-carryingcode(PCC)systemforreasoningaboutprogramsusingTM.WeformalizeourreasoningwithrespecttotheTMsemantics,proveitssoundness,anduseexamplestodemonstrateitseffectiveness.

简介：AhomomorphismψoflogicprogramsfromPtoP'isafunctionmappingAtoms(P)toAtoms(P')andpaper,thecomplexityofthedecisionproblemsonhomomorphismandisomorphismfordefinitelogicprogramsisstudied.Itisshownthatthehomomorphismproblem(HOM-LP)fordefinitelogicprogramsisNP-complete,andtheisomorphismproblem(ISO-LP)isequivalenttothegraphisomorphismproblem(GI).

简介：宿命论对在调试的多线程的节目很有用，测试，等等。许多确定的途径被建议了，例如确定的多线程(DMT)并且确定重放。然而，这些系统任何一个是低效的或指向一个单�

简介：对我们来说，看电视是生活中不可缺少的娱乐活动之一。在看电视的过程中不仅能放松心情，还能学到许多知识，同时还能开阔眼界。那么中英关三国的学生感兴趣的电视节目都有哪些呢？又各有什么特色呢？让我们一同来了解一下吧!

简介：ＡＳＵＣＣＥＳＳＩＶＥＡＰＰＲＯＸＩＭＡＴＩＯＮＭＥＴＨＯＤＦＯＲＳＯＬＶＩＮＧＰＲＯＢＡＢＩＬＩＳＴＩＣＣＯＮＳＴＲＡＩＮＥＤＰＲＯＧＲＡＭＳＷＡＮＧＪＩＮＤＥ（王金德）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓ...

简介：TheCprogramminglanguageisexpressiveandflexible,butnotsafe;asitsexpressivepowerandflexibilityareobtainedthroughunsafelanguagefeatures,andimproperuseofthesefeaturescanleadtoprogrambugswhosecausesarehardtoidentify.SinceCiswidelyused,anditisimpracticaltorewriteallexistingCprogramsinsafelanguages,sowaysmustbefoundtomakeCprogramssafe.ThispaperdealswiththeunsafefeaturesofCandpresentsasurveyonexistingsolutionstomakeCprogramssafe.Wehavestudiedbinary-levelinstrumentationtools,sourcecheckers,source-levelinstrumentationtoolsandsafedialectsofC,andpresentacomparisonofdifferentsolutions,summarizedthestrengthsandweaknessesofdifferentclassesofsolutions,andshowmeasuresthatcouldpossiblyimprovetheaccuracyoralleviatetheoverheadofexistingsolutions.

简介：ＡＧＥＮＥＲＡＴＯＲＡＮＤＡＳＩＭＰＬＥＸＳＯＬＶＥＲＦＯＲＮＥＴＷＯＲＫＰＩＥＣＥＷＩＳＥＬＩＮＥＡＲＰＲＯＧＲＡＭＳＳＵＮＪＩＥ（孙捷）（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍｅｍａｔｉｃｓ，ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉ...

简介：

简介：FiniteChuspacesareproposedforthemodelingandverificationofconcurrentprograms.Inordertomodelnotonlytypicalconcurrentbehaviorsbutalsomodernexceptionhandlingandsynchronizationmechanisms,wedesignanenrichedprocessalgebraofChuspacesfromapracticalpointofview.ToillustratethepoweroffiniteChuspacesandtheprocessalgebrawhileabstractingawayfromlanguage-specificdetails,animaginaryconcurrentprogramminglanguage(ICL)isdesigned.AdenotationalsemanticsofICLispresentedusingfiniteChuspacesandtheenrichedprocessalgebra.Thevaluationfunctionsarefairlystraightforwardsincethecarefullydesignedoperatorshavedonemuchofthejob.TheenrichedprocessalgebraisalsousedasthespecificationlanguageforChuspaces,withwhichprocess-algebraicpropertiescanbespecified.Verificationalgorithmsarepresentedwiththeirtimecomplexitiesdiscussed.

简介：

简介：

简介：

简介：

简介：BasedonthedataofthebestMBArankinginChinaselectedbyManagerMagazine,DEAandMalmquistindexwereusedtoevaluatetheefficiencyofMBAprogramsoftop25businessschoolsinChina.TheresultsshowthattheoverallMBAprogramshaveahighvalueontechnicalefficiencyduetothehighpuretechnicalefficiencyandscaleefficiency.Asthetechnicalregressdeepened,thetotalfactorproductivityofMBAprogrampresentsadroppedtendency.TheresultsofANOVAshowthatthelocation,typeandinternationalcertificationhavenosignificanteffectontheefficiency.Accordingtothecrossanalysisoftechnicalefficiencyandtotalfactorproductivity,differentbusinessschoolsshouldadoptdifferentdevelopmentstrategies.

简介：

简介：ThetraditionalevaluationonChinesegraduateschoolsusuallyfocusonthecomprehensivefactorsofmaster'sanddoctoralprograms.ThispaperattemptstotestahypothesisontherelationshipbetweengraduateprogramsandtheratingsofChinesegraduateschools.TheeducationalevaluationhistorybothintheU.S.andinChinaisbrieflyreviewedandcompared.Acasestudyisperformedbyusingpartofthegraduateschools'datafromChinesepolytechnicuniversitiesin1994.Thecomprehensivefactorsthataffectthegraduateschools'scaleareexamined.Theresultindicatesthatdifferentgraduateprogramsdoaffectgraduateschools'ratings.Twocomprehensivefactorsareobtainedfromseveralindicatorsrepresentingmaster'sscaleanddoctoralscalerespectively.Thepaperalsointendstohelpprovideanewevaluationmethodinrankinggraduateschools'scale.