Software

About: Software is a research topic. Over the lifetime, 130577 publications have been published within this topic receiving 2028987 citations. The topic is also known as: computer software & computational tool.

Assessment and control of software risks

Abstract: Interestingly, assessment and control of software risks that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you find it. But, when you feel hard to find it as yours, what to do? Borrow to your friends and don't know when to give back it to her or him.

The Warp Computer: Architecture, Implementation, and Performance

Abstract: The Warp machine is a systolic array computer of linearly connected cells, each of which is a programmable processor capable of performing 10 million floating-point operations per second (10 MFLOPS). A typical Warp array includes ten cells, thus having a peak computation rate of 100 MFLOPS. The Warp array can be extended to include more cells to accommodate applications capable of using the increased computational bandwidth. Warp is integrated as an attached processor into a Unix host system. Programs for Warp are written in a high-level language supported by an optimizing compiler. The first ten-cell prototype was completed in February 1986; delivery of production machines started in April 1987. Extensive experimentation with both the prototype and production machines has demonstrated that the Warp architecture is effective in the application domain of robot navigation as well as in other fields such as signal processing, scientific computation, and computer vision research. For these applications, Warp is typically several hundred times faster than a VAX 11/780 class computer. This paper describes the architecture, implementation, and performance of the Warp machine. Each major architectural decision is discussed and evaluated with system, software, and application considerations. The programming model and tools developed for the machine are also described. The paper concludes with performance data for a large number of applications.

Frama-C: a software analysis perspective

Abstract: Frama-C is a source code analysis platform that aims at conducting verification of industrial-size C programs. It provides its users with a collection of plug-ins that perform static analysis, deductive verification, and testing, for safety- and security-critical software. Collaborative verification across cooperating plug-ins is enabled by their integration on top of a shared kernel and datastructures, and their compliance to a common specification language. This foundational article presents a consolidated view of the platform, its main and composite analyses, and some of its industrial achievements.

Extended functionally remote control system and method therefore

Abstract: An extended functionality remote control (EFRC) provides a hardware/software implementation of an integrated interface for remote control emulation. A PDA or other portable computing device is used as a platform for the EFRC application software and peripheral hardware. The EFRC also merges information services into remote controls. Implementation of these information services takes the form of, e.g., electronic program guides (EPGs) merged with the functioning of remote controls. In addition to the portable computing device, the hardware portion of the invention according to a preferred embodiment includes a keypad and an infrared transmitter subsystem which are managed by a microcontroller. The microcontroller also exchanges data with application software of the computing device via a serial communications link. The EFRC according to a preferred embodiment provides a universal remote control which can remain current by shifting the remote control code functions of a universal remote control from to software. New codes may be made available through the internet and downloaded into an application which can utilize these codes for the targeted consumer electronics device. The preferred embodiment provides the user the ability to select the components of their specific consumer electronic device on the World Wide Web, leading to the download of a data file by the user with all remote control code information preprogrammed into this data file. The preferred embodiment can dynamically construct the user's remote control buttons on a graphical touch screen, from information contained within the downloaded data file.

Automated testing system

Abstract: A method, system and program for testing programmatic interfaces by systematically exploring valid call sequences defined by a collection of subroutines with a collection of data. The subject invention does not explicitly write unit tests. Instead, it provides the tools to develop rules which model and verify the correct operation of software while leaving the complexities of test selection, execution, sequencing, coverage, and verification to an automated system. The number of test scenarios generated by the system depends upon cumulative execution time and is reliably independent of human effort.