IOSIG: Declarative I/O-Stream Properties Using Pragmas

Petascale IO Using The Adaptable IO System

ADIOS, the adaptable IO system, has demonstrated excellent scalability to 29,000 cores. With the introduction of the XT5 upgrades to Jaguar, new optimizations are required to successfully reach 140,000+ cores. This paper explains the techniques employed and shows the performance levels attained.

Declarative Visualization of Stream-based Data

Declarative Encodings of Acyclicity Properties

Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this paper, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set p...

Properties of auditory stream formation.

A sequence of sounds may be heard as coming from a single source (called fusion or coherence) or from two or more sources (called fission or stream segregation). Each perceived source is called a 'stream'. When the differences between successive sounds are very large, fission nearly always occurs, whereas when the differences are very small, fusion nearly always occurs. When the differences are...

Using Implicit IO Representations for Stability Analysis and LPV-IO Controller Synthesis

In this paper, a novel model-based LPV controller synthesis approach is proposed for designing fixed-structure LPV controllers based on an input-output (IO) representation form. Both the LPV-IO LPV model and the LPV-IO controller are assumed to depend affinely and statically on the scheduling variables. By using an implicit representation of the system model and the controller, an exact represe...