搜索结果: 1-15 共查到“知识库 计算机软件 systems”相关记录36条 . 查询时间(0.575 秒)
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...
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...
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.
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...
Evolution Analysis of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory
Software Systems Design Structure Design Rule Theory
2015/4/21
Designers often seek modular architectures to better accommodate expected changes and to enable parallel development. However, we lack a formal theory and model of modularity and software evolution, w...
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...
Model-driven Development for Adapting Question Answering Systems to Restricted Domains
Question Answering systems Model-Driven Software Development
2011/5/1
A Question Answering (QA) system must provide concise answers from large collections of documents to questions stated by the user in natural language. However, although many QA systems for open domain...
Cinderella Gets an Invitation: recognising and organising systems maintenance and support
Cinderella recognising and organising systems Invitation
2009/12/9
Systems maintenance of existing systems is a 'Cinderella' subject in the field of information systems & technology (1ST). Although it accounts for the majority of systems work, the subject is generall...
Ethics is an important element in all aspects of computing, but proves to be a real problem in the development and delivery of E-Commerce systems. There are many aspects of ethics that can affect E-Co...
Impediments to Inter-Firm Transfer of Best Practice in an Enterprise Systems Context
enterprise systems knowledge management knowledge transfer
2009/12/8
A survey of major issues with Enterprise Systems was administered within the State Government of Queensland, Australia and a subset of these issues mapped against Szulanski’s model of inter-firm best ...