搜索结果: 76-90 共查到“知识库 计算机系统结构”相关记录6880条 . 查询时间(0.687 秒)
Binary Translation Using Peephole Superoptimizers
Binary Translation Peephole Superoptimizers
2016/5/24
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of hand-coding the tran...
We present Nodeinfo, an unsupervised algorithm for anomaly detection in system logs. We demonstrate Nodeinfo’s effectiveness on data from four of the world’s most powerful supercomputers: using logs r...
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的...