Journal of Computer and System Sciences

E. K. Blum,Joseph Halpern,Baruch Awerbuch,Michael Ben-Or,Ashok Chandra,Joan Feigenbaum,Joachim von zur Gathen,Leonidis Guibas,Leonard Pitt,Michael Saks

Journal of Computer and System Sciences（2017）

引用 23|浏览23

暂无评分

摘要

_cf_loadingtexthtml=\"\";_cf_contextpath=\"\";_cf_ajaxscriptsrc=\"/CFIDE/scripts/ajax\";_cf_jsonprefix='//';_cf_clientid='FB031DD0B6388B3AE7A27A82A28BFE82';Journal of Computer and System Sciences function settab() { var mytabs = ColdFusion.Layout.getTabLayout('citationdetails'); mytabs.on('tabchange', function(tabpanel,activetab) { document.cookie = 'picked=' + '1739956' + ',' + activetab.id; }) }function letemknow(){ ColdFusion.Window.show('letemknow');}function letemknow2(){ ColdFusion.Window.show('letemknow2');}function testthis(){alert('test');}function loadalert(){ alert(\"I am in the load alert\"); }function loadalert2(){ alert(\"I am in the load alert2\"); } google.load('visualization', '1', {packages:['orgchart']}); google.setOnLoadCallback(drawChart); function drawChart() { var data = new google.visualization.DataTable(); data.addColumn('string', 'Name'); data.addColumn('string', 'Manager'); data.addColumn('string', 'ToolTip'); data.addRows([ [{v:'0', f:'CCS for this Journal

查看译文

关键词

expressions and their representation,memory design,security and protection,computational logic,real-time systems and embedded systems,parallel processing,algorithms,connectionism and neural nets,design,parallelism and concurrency,distributed systems,types of systems,nonnumerical algorithms and problems,models of computation,computer arithmetic,experimentation,combinatorics,security,systems,network communication,decision support,reducibility and completeness,model checking,mathematical logic,design styles,process management,system management,verification,queueing theory,web-based services,biology and genetics,probability and statistics,complexity measures and classes,operations on languages,graph algorithms,measurement,general,languages,web-based interaction,analysis of algorithms,management,path and circuit problems,reliability,logical design,deduction and theorem proving,world wide web,theory,grammars and other rewriting systems,control theory,sequencing and scheduling,graph theory,natural language processing,cache memories,computability theory,relations between models,information search and retrieval,performance,mathematical logic and formal languages,learning,numerical algorithms and problems,real-time and embedded systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要