搜索结果: 1-15 共查到“知识库 计算机系统设计”相关记录514条 . 查询时间(2.061 秒)
DESIGN AND APPLICATIONS OF RAPID IMAGE TILE PRODUCING SOFTWARE BASED ON MOSAIC DATASET
Image Tile Mosaic Dataset Cluster Tile Producing Quality Checking
font style='font-size:12px;'>
2018/5/16
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...
The Saturn Program Analysis System
The Saturn Program Analysis System
font style='font-size:12px;'>
2016/5/25
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...
Solving Systems of Set Constraints
Solving Systems Set Constraints
font style='font-size:12px;'>
2016/5/24
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...
Inferring Data Polymorphism in Systems Code
type checking type casting static analysis
font style='font-size:12px;'>
2016/5/24
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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. ...
An Experimental Study of TLS Forward Secrecy Deployments
TLS Secrecy Deployments
font style='font-size:12px;'>
2015/8/5
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...