搜索结果: 151-165 共查到“计算机科学技术 systems”相关记录330条 . 查询时间(0.32 秒)
Sense, Model and Identify the Load Signatures of HVAC Systems in Metro Stations
Sense Model Identify Load Signatures HVAC Systems Metro Stations
2016/1/22
The Heating Ventilation and Air Conditioning(HVAC) systems in subway stations are energy consuming giants,each of which may consume over 10, 000 Kilowatts per day for cooling and ventilation. To save ...
Cost-Aware Compressive Sensing for Networked Sensing Systems
Crowdsensing Compressive Sensing Resource-efficiency
2016/1/22
Compressive Sensing is a technique that can help reduce the sampling rate of sensing tasks. In mobile crowdsensing applications or wireless sensor networks, the resource burden of collecting samples i...
Barriers to Black-Box Constructions of Traitor Tracing Systems
two-party computation Secure Multiparty Computation
2015/12/21
Reducibility between different cryptographic primitives is a fundamental problem in modern
cryptography. As one of the primitives, traitor tracing systems help content distributors recover
the ident...
Innovative Systems for Assisted Analysis and Diagnosis
Analysis Data mining Integration Reconstruction Visualization Image
2015/11/13
Final aim of SIINDA research project is the development of an integrated system, composed by interagents hardware and software components, oriented to support the expert in the analysis and diagnosis ...
New ‘Performance Cloning’ Techniques Designed to Boost Computer Chip Memory Systems Design
Performance Cloning Boost Computer Chip Memory Systems Design
2015/10/13
Memory Controller and DRAM architecture are critical aspects of Chip Multi Processor (CMP) design. A good design needs an in-depth understanding of end-user workloads. However, designers rarely get in...
Field Programmable MCM Systems--Design of an Interconnection Frame
Field Programmable MCM Systems Interconnection Frame
2015/8/14
Field Programmable MCM Systems--Design of an Interconnection Frame.
Generalized access control strategies for integrated services token passing systems
Integrated services LAN application factory automation distributed computing multimedia communication
2015/8/12
The demand for integrated services local area networks is increasing at a rapid pace with the advent of many new and exciting applications: office and factory automation, distributed computing, and mu...
A decomposition approach to distributed analysis of networked systems
Distributed algorithm analysis stable system coupling linear matrix inequality the semidefinite programming
2015/8/11
We present a simple distributed algorithm for analyzing well-posedness and stability of a system composed of different sub-units, interconnected over an arbitrary graph. The procedure consists in solv...
Optimized slowdown in real-time task systems via geometric programming
Reduction system optimize the slow periodicity power characteristics slow factors
2015/8/10
In “Optimized slowdown in real-time task systems”, Jejurikar and Gupta investigated energy savings due to optimal slowdown of periodic tasks in real-time task systems, where tasks have varying power c...
ECOS: An SOCP solver for embedded systems
Embedded cone solver second-order cone programming solver embedded applications
2015/8/7
In this paper, we describe the embedded conic solver (ECOS), an interior-point solver for second-order cone programming (SOCP) designed specifically for embedded applications. ECOS is written in low f...
Execution Generated Test Cases:How to Make Systems Code Crash Itself
Execution Generated Test Cases Systems Code Crash Itself
2015/8/7
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using
a combination of symbolic and concrete (i.e., regular) execution. The input values to ...
Bugs as Deviant Behavior:A General Approach to Inferring Errors in Systems Code
Bugs as Deviant Behavior Inferring Errors Systems Code
2015/8/7
A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demo...
KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
KLEE Unassisted and Automatic Generation High-Coverage Tests Complex Systems Programs
2015/8/7
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to...
广东工业大学计算机学院操作系统英文课件Chapter8 Multiple Processor Systems
广东工业大学计算机学院 操作系统 英文 课件 Chapter8 Multiple Processor Systems
2015/7/30
广东工业大学计算机学院操作系统英文课件Chapter8 Multiple Processor Systems。
广东工业大学计算机学院操作系统英文课件Chapter6 File Systems。