the proceedings contain 12 papers. the topics discussed include: can we verify an elephant?;pain, possibilities, and prescriptions industry trends in advanced functional verification;the SBSE approach to automated opt...
ISBN:
(纸本)9783642192364
the proceedings contain 12 papers. the topics discussed include: can we verify an elephant?;pain, possibilities, and prescriptions industry trends in advanced functional verification;the SBSE approach to automated optimization of verification and testing;reduction of interrupt handler executions for model checking embedded software;diagnosability of pushdown systems;functional test generation with distribution constraints;an explanation-based constraint debugger;evaluating workloads using multi-comparative functional coverage;reasoning about finite-state switched systems;dataflow analysis for properties of aspect systems;bisimulation minimizations for Boolean equation systems;synthesizing solutions to the leader election problem using model checking and genetic programming;stacking-based context-sensitive points-to analysis for java;and an interpolating decision procedure for transitive relations with uninterpreted functions.
An approach aimed at running a special class of computationally intensive applications in an affordable heterogeneous computing environment built around existing off-the-shelf hardware is described. the software suppo...
详细信息
An approach aimed at running a special class of computationally intensive applications in an affordable heterogeneous computing environment built around existing off-the-shelf hardware is described. the software support combines a general-purpose parallel programming language with a remote procedure call facility. the increase in throughput is a result of the overlap in servers computations. the attractiveness of the system comes mainly from its low cost. A typical application involving the traveling salesman problem is described, and performance issues are discussed.
this paper studies how to use the USB interface to achieve communication between Sunplus 61A MCU and ordinary personal computer. the design of the entire system has 5 aspects, including circuit design, protocol, host ...
详细信息
ISBN:
(纸本)9781479942626
this paper studies how to use the USB interface to achieve communication between Sunplus 61A MCU and ordinary personal computer. the design of the entire system has 5 aspects, including circuit design, protocol, host computer programming design, and lower computer program and driver. All the program is written using C++. Simple character signal transmission between microcontroller and computer is done. Information can be transmitted successfully using USB protocol.
Automobile detecting line system Based on CAN bus was established. the structure of computer control system was described in detail. the hardware and software of motor vehicle safety performance detecting line control...
详细信息
the software development life cycle (SDLC) is a structured process for delivering a high-quality product within a specified timeframe. Developing a cost-effective and efficient software product life cycle has always b...
详细信息
Modularization is used as one of the stages of reverse engineering to understand a software system. Due to the importance of understanding a software system for development and maintenance, software modularization is ...
详细信息
暂无评论