搜索结果: 1-15 共查到“计算机科学技术 Code”相关记录21条 . 查询时间(0.105 秒)
![](http://www.firstlight.cn/upload/imgfile/201911/15/20191115977420.jpg)
Browser tool aims to help researchers ID malicious websites,code(图)
Browser tool esearchers ID malicious websites code
2019/11/15
Researchers at North Carolina State University have developed an open-source tool that allows users to track and record the behavior of JavaScript programs without alerting the websites that run those...
Researchers find computer code that Volkswagen used to cheat emissions tests
Researchers computer code Volkswagen cheat emissions tests
2017/7/20
An international team of researchers has uncovered the mechanism that allowed Volkswagen to circumvent U.S. and European emission tests over at least six years before the Environmental Protection Agen...
New software continuously scrambles code to foil cyber attacks
New software continuously scrambles code foil cyber attacks
2016/11/29
As long as humans are writing software, there will be coding mistakes for malicious hackers to exploit. A single bug can open the door to attackers deleting files, copying credit card numbers or carry...
It’s not exactly beating something into someone’s head. More like tapping it into the side.Researchers at the Georgia Institute of Technology have developed a system that teaches people Morse code wit...
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...
Authoring Multi-Stage Code Examples with Editable Code Histories
Examples tutorials programming editable histories
2016/5/24
Multi-stage code examples present multiple versions of a program
where each stage increases the overall complexity of the
code. In order to acquire strategies of program construction
using a new la...
CVXGEN: A Code Generator for Embedded Convex Optimization
Convex optimization Code generation Embedded optimization
2015/8/7
CVXGEN is a software tool that takes a high level description of a convex optimization problem family, and automatically generates custom C code that compiles into a reliable, high speed solver for th...
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...
The use of model checking for validation requires that models of the underlying system be created. Creating such models is both difficult and error prone and as a result, verification is rarely used d...
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...
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 ...
Under-constrained Execution:Making Automatic Code Destruction Easy and Scalable
Bug finding symbolic execution dynamic analysis
2015/8/7
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...
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...