搜索结果: 136-150 共查到“计算机科学技术 systems”相关记录330条 . 查询时间(0.843 秒)
Reliability measures of electrical grid has risen to a new norm as it involves physical security and cybersecurity. Threats to either can trigger instability, leading to blackouts and economic losses....
2017年ACM智能系统,元启发式方法和群体智慧国际会议(ISMSI 2017) (2017 International Conference on Intelligent Systems,Metaheuristics & Swarm Intelligence)
2017年 ACM智能系统,元启发式方法和群体智慧 国际会议
2017/1/10
Welcome to the official website of the 2017 International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence (ISMSI 2017). The Conference will be held in Hong Kong during March 25-...
云南农业大学计算机导论课件Chapter7 Operating Systems.
2016 IEEE 8th International Conference on Biometrics Theory, Applications and Systems (BTAS)
image processing pattern recognition
2016/7/28
The IEEE Eighth International Conference on Biometrics: Theory, Applications, and Systems (BTAS 2016), a continuation of the highly successful BTAS conference series started in 2007, will be held in t...
2016 8th International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC 2016)
Human-Machine Systems Cybernetics
2016/7/20
As a continuation of IHMSC 2009 to IHMSC 2015, which were held successfully in Hangzhou, Nanjing, and Nanchang etc., the 8th International Conference on Intelligent Human-Machine Systems and Cyberneti...
International Workshop on Requirements for Visualizations in Systems Engineering (ReVISE'16)
Visualizations Systems Engineering
2016/7/19
The workshop Requirements for Visualizations in Systems Engineering provides a venue to discuss insights and challenges in eliciting and expressing requirements towards visualizations and visual notat...
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...
Type Systems for Distributed Data Structures.
Parallel programming languages that let multiple processors access shared data provide a variety of sharing mechanisms and memory models. Understanding a language’s support for data sharing behavior i...
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that aliasing has a great ...
A Query Language for Understanding Component Interactions in Production Systems
Query language logs influence correlation production systems
2016/5/24
When something unexpected happens in a large production system,administrators must first perform a search to isolate which components and component interactions are likely to be involved. The system m...
Online Detection of Multi-Component Interactions in Production Systems
management statistical correlation modeling anomalies signal compression
2016/5/24
We present an online, scalable method for inferring the interactions among the components of large production systems.We validate our approach on more than 1.3 billion lines of log files from eight un...
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...
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
2016/5/24
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general sy...