搜索结果: 1-15 共查到“计算机软件 system”相关记录47条 . 查询时间(1.178 秒)
第十届对人类系统的相互作用国际会议（10th International Conference on Human System Interactions）
第十届 对人类系统 相互作用 国际会议
2017/6/23
The 10th International Conference on Human System Interaction (HSI2017) will be held in Ulsan, Republic of Korea, from July 17th to 19th, 2017. The conference offers an unique and interesting platform...
2017国际华人交互大会工作坊十一：《交互新维度—动态交互链》（Workshop 11: The New Dimension of Interaction: Motion Interaction System）
2017 国际 华人 交互大会 工作坊 十一 交互新维度 动态交互链
2017/5/23
传统交互设计采用二维平面的设计原型、设计控件和逻辑关系，已经良好的运作了10年之久。随着软硬件技术进步，更高维度的动效设计开始展露其不容忽视的优势。一时间各种动态效果，绚丽方案层出不穷，纷繁复杂。我们也经历了如此的阶段，却发现我们只是将一种更高维度的技术拿到低维度来使用，而不是站在更高维度的视角去重构和优化整个系统。动效设计不单纯是视觉效果的进化，更应该是串行整个用户体验的承载，在系统中打造一种“...
Researchers Find Vulnerabilities in iPhone,iPad Operating System
Researchers Vulnerabilities iPhone iPad Operating System
2016/9/12
Recent literature on iOS security has focused on the malicious potential of third-party applications, demonstrating how developers can bypass application vetting and code-level protections. In additio...
Analysis of Application Sensitivity to System Performance Variability in a Dynamic Task Based Runtime
Application Sensitivity System Performance Variability Dynamic Task Based Runtime
2016/5/24
Application scalability can be significantly impacted by node level performance variability in HPC. While previous studies have demonstrated the impact of one source of variability,OS noise, in messag...
A rank minimization heuristic with application to minimum order system approximation
Variable control system analysis and controller synthesis matrix rank linear matrix inequality (lmi) the positive semi-definite matrix variables
2015/8/11
Several problems arising in control system analysis and design, such as reduced order controller synthesis, involve minimizing the rank of a matrix variable subject to linear matrix inequality (LMI) c...
Rank minimization and applications in system theory
Matrix the convex set system identification statistics signal processing
2015/8/11
In this tutorial paper, we consider the problem of minimizing the rank of a matrix over a convex set. The Rank Minimization Problem (RMP) arises in diverse areas such as control, system identification...
How to Write System-specific,Static Checkers in Metal
Write System-specific Static Checkers Metal
2015/8/7
How to Write System-specific,Static Checkers in Metal.
A System and Language for Building System-Specific,Static Analyses
Extensible compilation error detection
2015/8/7
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
广东工业大学计算机学院操作系统英文课件Chapter12 Operating System Design
广东工业大学计算机学院 操作系统 英文 课件 Chapter12 Operating System Design
2015/7/31
广东工业大学计算机学院操作系统英文课件Chapter12 Operating System Design。
The Emergence of Symbol-Based Communication in a Complex System of Artificial Creatures
Digital analog artificial creatures a virtual world plunder
2015/7/30
We present here a digital scenario to simulate the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of predatory events. In order to design ...
The paper presents a low-cost navigation system, which is based on digital terrestrial images. The database of the test area is filled by
digital images about road junctions, crossings, and other 刬rr...
Automating Laboratory Operations by Intergrating Laboratory Information Management Systems (LIMS) with Analytical Instruments and Scientific Data Management System (SDMS)
laboratory information management scientific data management
2015/1/9
The large volume of data generated by commercial and research laboratories, along with requirements mandated by regulatory agencies, have forced companies to use laboratory information management syst...
Design and Testing of a Prototype High Speed Data Acquisition System for NASA
Data Acquisition System NASA High Speed state of the art phase detection polyphase filter
2014/12/8
Modern radar and signal processing applications require data acquisition systems capable of high-speed analog data reception and processing. These systems need to support sophisticated signal processi...