搜索结果: 61-75 共查到“知识库 计算机系统结构”相关记录6878条 . 查询时间(2.521 秒)
分布式水文模型中的逐栅格汇流算法计算量大，需要借助并行计算以满足大流域长历时模拟的要求。针对目前鲜有对基于隐式有限差分的逐栅格汇流算法进行并行计算研究的情况，基于栅格分层的思想提出一种适用于共享内存并行计算环境的逐栅格汇流并行算法。该算法首先根据流向进行栅格分层，使同一层中栅格的计算相互独立，然后将同一层中栅格的计算任务分配到多个计算单元并行计算。采用C++编程语言与OpenMP并行编程库实现了该...
随着媒介革命的纵深发展，中国新媒体发展已经进入了“微时代”。与之相应的是，网络谣言层出不穷，使得网络成为媒体危机甚至诸多突发事件恶化的媒介，导致社会风险扩大化、恶性化发展。网络谣言具有明显的社会危害性，在义愤心理、信息流瀑、从众效应、群体极化和偏颇吸收的作用下，本身即形成了一定的自我强化机制。因此，针对新媒体时代网络社会的新常态，必须强化网络社会制度规范,创新网络社会治理模式，切实提高网络谣言的治...
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Advice for Program Chairs
Program Chairs
2016/5/25
The title says it all: This document is written for people who are, will be, or think they might want to be the program chair for a technical conference.I am a former program chair for POPL (the ACM S...
Perfect Pipelining: A New Loop Parallelization Technique
Pipelining Loop Parallelization Technique
2016/5/25
Parallelizing compilers do not handle loops in a satisfactory manner. Fine-grain transformations capture irregular parallelism inside a loop body not amenable to coarser approaches but have limited ab...
Parallelizing compilers promise to exploit the parallelism available in a given program, particularly parallelism that is too low-level or irregular to be expressed by hand in an algorithm.
Systems of set constraints are a natural formalism for many problems in program analysis. Set constraints are also a generalization of tree automata. We present an algorithm for solving systems of set...
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Flow-Sensitive Type Qualifiers
Types type qualifiers alias analysis effect inference flowsensitivity
2016/5/24
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. ...
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...
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...