Results 1 - 10 of 277

TSL: A system for generating abstract interpreters and its application to machine-code analysis

by Junghee Lim, Thomas Reps - TOPLAS
"... This paper describes the design and implementation of a system, called TSL (for “Transformer Specification Language”), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code. TSL is a tool generator—i.e., a meta-tool—that automatically creates di ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
different abstract interpreters for machine-code instruction sets. The most challenging technical issue that we faced in designing TSL was how to automate the generation of the set of abstract transformers for a given abstract interpretaton of a given instruction set. From a description of the concrete

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
domain of our eco-social system is thereby transformed. We live in a new economy, characterized by three fundamental features. First, it is informational , that is, the capacity of generating knowledge and processing/managing information determine the productivity and competitiveness of all kinds

Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments ∗

by Elvira Albert, Germán Puebla
"... Proof carrying code is a general methodology for certifying that the execution of an untrusted mobile code is safe, according to a predefined safety policy. The basic idea is that the code supplier attaches a certificate (or proof) to the mobile code which, then, the consumer checks in order to ensu ..."
Abstract - Add to MetaCart
[1]. To this end, the certificate is generated from an abstract interpretation-based proof of safety. Intuitively, the verification condition is extracted from a set of assertions guaranteeing safety and the answer table generated during the analysis. Given this information, it is relatively simple

ABSTRACT HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems

by John Regehr, Alastair Reid
"... Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysis can help meet all of these goals. People developing analyzers for embedded object code face a difficult problem: writing ..."
Abstract - Add to MetaCart
microprocessor (or simulator) as its own specification. With almost no input from a human, Hoist generates a collection of C functions that are ready to be linked into an abstract interpreter. We demonstrate that Hoist generates abstract operations that are correct, having been extensively tested, sufficiently

C.: Incremental invariant generation using logic-based automatic abstract transformers. In: NASA Formal Methods

by Temesghen Kahsai, Cesare Tinelli , 2013
"... Abstract. Formal analysis tools for system models often require or benefit from the availability of auxiliary system invariants. Abstract interpretation is currently one of the best approaches for discovering useful invariants, in particular numer-ical ones. However, its application is limited by tw ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Abstract. Formal analysis tools for system models often require or benefit from the availability of auxiliary system invariants. Abstract interpretation is currently one of the best approaches for discovering useful invariants, in particular numer-ical ones. However, its application is limited

Interpreting performance data across intuitive domains

by Martin Schulz, Joshua A. Levine, Peer-timo Bremer, Todd Gamblin, Valerio Pascucci - In International Conference on Parallel Processing , 2011
"... Abstract—To exploit the capabilities of current and future systems, developers must understand the interplay between on-node performance, domain decomposition, and an application’s intrinsic communication patterns. While tools exist to gather and analyze data for each of these components individuall ..."
Abstract - Cited by 6 (4 self) - Add to MetaCart
insights into the behavior of parallel application codes. The HAC abstraction opens the door for a new generation of tools that can help users more easily and intuitively associate performance data with root causes in the hardware system, the application’s structure, and in its communication behavior

Abstract Comparing a Neural-Fuzzy Scheme with a Probabilistic Neural Network for Applications to Monitoring and Diagnostics in Manufacturing Systems

by Kai Goebel, Bill Wood, Alice Agogino, Punit Jain
"... The success of unattended manufacturing depends largely on control mechanisms that monitor the machining state and take actions to rectify unsatisfactory performance. Direct sensing methods like quality inspection lack on-line capability, whereas indirect methods using sensors can be thwarted by noi ..."
Abstract - Add to MetaCart
network, on the other hand, is that it allows the use of rigorous probabilistic analysis, supports Bayesian network models and provides a means for the continuous updating of the density functions. The neural-probabilistic system has been tested successfully on data from an industrial power generation

Distributed

by Waqaas Munawar, Olaf L, Muhammad Hamad Alizai, Klaus Wehrle, Rwth Aachen
"... Abstract—Wireless Sensor Networks (WSNs) are deployed for long periods of time, during which a need often arises to dynamically reprogram or retask them. An array of solutions has been proposed to this effect, ranging from full image replacement to virtual machines. However, the capabilities of Tiny ..."
Abstract - Add to MetaCart
OS to allow dynamic exchange of components in WSN applications by conserving their modularity during the compilation process. This generates the possibility of incremental adaptation of sensor nodes ’ behavior through partial code replacement. The designed system does not require any alterations

port Vector Machines, Kernel Fisher Discriminant analysis

by Sebastian Mika, Koji Tsuda
"... Abstract | This review provides an introduction to Sup- ..."
Abstract - Add to MetaCart
Abstract | This review provides an introduction to Sup-

Interpretive OpenGL for Computer Graphics,"

by Bo Chen , Harry H Cheng - Computers & Graphics , 2005
"... Abstract OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many languages, such as Fortran, Java, Tcl/Tk, and Python, have OpenGL bindings to take advantage of OpenGL visualizatio ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Abstract OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many languages, such as Fortran, Java, Tcl/Tk, and Python, have OpenGL bindings to take advantage of Open
Results 1 - 10 of 277