搜索结果: 76-90 共查到“知识库 计算机系统结构”相关记录6883条 . 查询时间(2.095 秒)
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
Effective Static Race Detection for Java
static race detection Java synchronization concurrency multi-threading
2016/5/24
We present a novel technique for static race detection in Java programs,comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses...
Design Considerations for Collaborative Visual Analytics
visualization analysis collaboration design computer-supported cooperative work
2016/5/24
Information visualization leverages the human visual system to
support the process of sensemaking, in which information is
collected, organized, and analyzed to generate knowledge and
inform action...
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...