搜索结果: 1-15 共查到“知识库 计算机系统设计”相关记录514条 . 查询时间(1.949 秒)
DESIGN AND APPLICATIONS OF RAPID IMAGE TILE PRODUCING SOFTWARE BASED ON MOSAIC DATASET
Image Tile Mosaic Dataset Cluster Tile Producing Quality Checking
2018/4/30
Map tile technology is widely used in web geographic information services. How to efficiently produce map tiles is key technology for rapid service of images on web. In this paper, a rapid producing s...
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...
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...
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...
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...
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...
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...
Mechanism Design and Implementation for Lung Exchange
Mechanism Design Implementation Lung Exchange
2016/1/22
We explore the mechanism design problem for lung exchange and its implementation in practice. We prove that determining whether there exists a non-trivial solution of the lung exchangeproblem is NP-co...
Optimal Auctions for Partially Rational Bidders
Optimal Auctions Partially Rational Bidders
2016/1/22
We investigate the problem of revenue optimal mechanism design [Myerson, 1981] under the con-text of the partial rationality model, where buyers randomize between two modes: rational and irra-tional. ...
Forward secrecy guarantees that eavesdroppers simply cannot reveal secret data of past communications. While many TLS servers have deployed the ephemeral Diffie-Hellman (DHE) key exchange to support f...
OSS: Using Online Scanning Services for Censorship Circumvention
Censorship Circumvention Online Scanning
2015/8/5
We introduce the concept of a web-based online scanning service, or OSS for short, and show that these OSSes can be covertly used as proxies in a censorship circumvention system. Such proxies are suit...
Towards Sustainable Future by Transition to the Next Level Civilisation
Universal science of complexity dynamic multivaluedness chaos self-organisation dynamically probabilistic fractal dynamic information dynamic entropy symmetry of complexity Unitary System Harmonical System sustainability transition Revolution of Complexity noosphere
2015/8/3
Universal and rigorously derived concept of dynamic complexity shows that any system of interacting components, including society and civilisation, exists only as a process of highly inhomogeneous, qu...
Control and Design of Multiple Unmanned Air Vehicles for a Persistent Surveillance Task
Persistent Surveillance Task Unmanned Air Vehicles
2015/6/18
In this research, we investigate techniques for high-level control that
are scalable, reliable, efficient, and robust to problem dynamics (new information about
the target area, failure of UAVs...
计算机是一种用于协助人类信息处理的工具。计算机科技的发展在推动各学科和行业的发展方面发挥了重要的作用，人类也发展出关于计算机的学科和行业。计算机科技和行业的发展存在着一系列隐忧，应进行深入研究，寻求相应的对策。
Exploiting Energy Harvesting for Passive Embedded Computing Systems
Embedded Systems Energy Harvesting NFC RFID
2014/11/7
The key limitation in mobile computing systems is energy - without a stable power supply, these systems cannot process, store, or communicate data. This problem is of particular interest since the sto...