搜索结果: 1-15 共查到“知识库 计算机软件 system”相关记录39条 . 查询时间(0.139 秒)
Analysis of Application Sensitivity to System Performance Variability in a Dynamic Task Based Runtime
Application Sensitivity System Performance Variability Dynamic Task Based Runtime
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...
The Emergence of Symbol-Based Communication in a Complex System of Artificial Creatures
Digital analog artificial creatures a virtual world plunder
font style='font-size:12px;'>
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 ...
Image-based Driver's Guidance System
Navigation Image database Information system
font style='font-size:12px;'>
2015/7/7
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...
Design of an FPGA-based Array Formatter for CASA Phase-Tilt Radar System
Field Programmable Gate Array (FPGA) System Design Data Processing Soft Processor Radar Controller Phased-Arrays
font style='font-size:12px;'>
2014/12/8
Weather monitoring and forecasting systems have witnessed rapid advancement in recent years. However, one of the main challenges faced by these systems is poor coverage in lower atmospheric regions du...
A Real Time Web Based Electronic Triage, Resource Allocation and Hospital Dispatch System for Emergency Response
Emergency Resource Allocation E-triage Matlab Web Interface Patient Dispatch System Emergency Resource Planning
font style='font-size:12px;'>
2014/12/8
Disasters are characterized by large numbers of victims and required resources, overwhelming the available resources. Disaster response involves various entities like Incident Commanders, dispatch cen...
The Design and Improvement of a Software Project Management System Based on CMMI
CMMI KPAs of CMMI Level 3 Software Engineering Project Management
font style='font-size:12px;'>
2013/1/28
The paper researched and analyzed the characteristics, deficiencies and reasons of a management system of a software enterprise project to design a software project management system based on CMMI 1.2...
A Learning Framework for Transitioning Network Intrusion Alerts Management System to Ontology
Intrusion Detection Intrusion Alerts Correlation Ontology learning
font style='font-size:12px;'>
2014/3/11
Intrusion detection is not new in the area of information security. It is crucial for the intrusion alerts management system to correlate the collected intrusion alerts to reflect the causal relations...