搜索结果: 76-90 共查到“知识库 计算机系统结构”相关记录6878条 . 查询时间(3.82 秒)
Determining the Benefits of Direct-Touch, Bimanual, and Multifinger Input on a Multitouch Workstation
multitouch mouse direct-touch input bimanual input multifinger input multitarget selection
2016/5/24
Multitouch workstations support direct-touch, bimanual, and multifinger
interaction. Previous studies have separately examined the
benefits of these three interaction attributes over mouse-based int...
Programming the Memory Hierarchy Revisited: Supporting Irregular Parallelism in Sequoia
Programming Memory Hierarchy Revisited Supporting Irregular Parallelism Sequoia
2016/5/24
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and spawn, which spawns ...
Online Detection of Multi-Component Interactions in Production Systems
management statistical correlation modeling anomalies signal compression
2016/5/24
We present an online, scalable method for inferring the interactions among the components of large production systems.We validate our approach on more than 1.3 billion lines of log files from eight un...
We describe techniques for analyzing data polymorphism in C, and show that understanding data polymorphism is important for statically verifying type casts in the Linux kernel, where our techniques pr...
Automatic Fine-Grain Locking Using Shape Properties
Concurrency Locking Protocol Synthesis Serializability Atomicity Reduction
2016/5/24
We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest —i.e., the data structures may be mutated,even to the point of vi...
Testing Atomicity of Composed Concurrent Operations
concurrency linearizability testing composed operations collections
2016/5/24
Testing Atomicity of Composed Concurrent Operations.
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...
Structure Slicing: Extending Logical Regions with Fields
Structure Slicing Extending Logical Regions Fields
2016/5/24
Applications on modern supercomputers are increasingly limited by the cost of data movement, but mainstream programming systems have few abstractions for describing the structure of a program’s data. ...
Structuring, Aggregating, and Evaluating Crowdsourced Design Critique
Design critique feedback social computing crowdsourcing
2016/5/24
Feedback is an important component of the design process,
but gaining access to high-quality critique outside a classroom
or firm is challenging. We present CrowdCrit, a webbased
system that allows...
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
2016/5/24
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general sy...
网络异常流量检测综述
网络流量 异常流量 检测 综述
2016/3/10
为了更加全面了解网络异常流量检测的相关方法和发展态势,更好地通过网络流量分析的方法增强网络安全,首先阐述了网络流量的定义和主流采集方法的原理,再针对网络流量中异常流量的定义和分类进行了总结。针对网络异常流量的特点,归纳了当前主流的网络异常流量检测方法,阐明网络异常流量检测过程中的关键问题和核心技术,进一步分析了网络异常流量检测的未来发展趋势。为异常网络流量检测研究提供了参考依据,也为网络安全研究提...
易经是中华民族宝贵文化遗产,它包含上古时期人们对自然宇宙和人生社会的思想认识、哲学理念和辩证法,代表了先民哲学地把握宇宙的思维成果.现代科学的许多重大发现和突破,如二进制、原子结构、生物遗传DNA等学科理论,都可以从八卦和六十四卦模型中发现与之对应的形态和哲学思维.计算机体系结构设计原理(PPCAD)应是易经这种形态和思维的一种自然现象和映射对象,利用八卦和六十四卦哲学思维和策略,提供PPCAD的...
美国天使投资发展现状、特征及趋势
美国 天使投资 风险投资 股权众筹
2016/3/1
美国天使投资的发展一直处于全球领先地位,成为促进高新技术产业发展的重要源泉。本文以美国新罕布什尔大学风险投资研究中心发布的统计数据为基础,系统地分析了美国天使投资发展的现状及其主要特点,总结了美国天使投资发展的主要做法,并对行业未来发展趋势进行了浅析,以期对我国天使投资的发展提供借鉴。
一种基于兴趣点分布的匿名框KNN查询方法
位置隐私 基于位置的服务 匿名框 K近邻查询
2016/2/18
针对利用匿名框实现的兴趣点K近邻KNN)查询带来的通信开销大、时延长等问题,提出了基于单一兴趣点Voronoi图划分和四叉树层次化组织的KNN查询方法.该方法根据兴趣点层次信息有针对性的构造查询匿名框用来获取详细查询信息,在保护位置隐私的同时,降低了查询通信开销,同时注入虚假查询保护了用户的真实查询内容隐私.最后分别采用模拟地理数据和真实地理数据进行理论分析和有效性验证.