搜索结果: 1-8 共查到“计算机软件 generation”相关记录8条 . 查询时间(0.093 秒)
2017年下一代网络中集成边缘计算，缓存和卸载研讨会（2017 Workshop on Integrating Edge Computing, Caching, and Offloading in Next Generation Networks (IECCO)）
2017年 下一代 网络中集成边缘计算 缓存和卸载 研讨会
2017/3/21
The Workshop on "Integrating Edge Computing, Caching, and Offloading in Next Generation Networks" provides a forum for discussions of the up-to-date developments in integrating edge computing, caching...
Identification and Validation of Cognitive Design Principles for Automated Generation of Assembly Instructions
Diagrams design principles visual instructions assembly instructions spatial ability
2016/5/24
Designing effective instructions for everyday products is
challenging. One reason is that designers lack a set of design
principles for producing visually comprehensible and accessible
instructions...
Automatic Generation of Peephole Superoptimizers
Superoptimization Peephole Optimization Code Selection
2016/5/24
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at exploiting all opportun...
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Receding horizon control: Automatic generation of high-speed solvers
Rolling time domain control model predictive control optimization cost
2015/8/7
Receding horizon control (RHC), also known as model predictive control (MPC), is a general purpose control scheme that involves repeatedly solving a constrained optimization problem, using predictions...
Code generation for embedded second-order cone programming
The validation code convex optimization embedded applications the second-order cone programming
2015/8/7
This paper describes a framework for generating easily verifiable code to solve convex optimization problems in embedded applications by transforming them into equivalent second-order cone programs. I...
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...
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2Process Algebra
business continuity business process algebraic graph transformation process algebra generation evaluation enterprise modeling
2010/3/15
Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on be...