Low-latency and high-throughput processing are key requirements of data stream management systems (DSMSs). Hence, multi-core processors that provide high aggregate processing capacity are ideal matches for executing costly DSMS operators. The recently developed Cell processor is a good example of a heterogeneous multi-core architecture and provides a powerful platform for executing data stream ...

In this paper we describe some major new additions to the STRIPS robot problem-solving system. The first addition is a process for generalizing a plan produced by STRIPS so that problem-specific constants appearing in the plan are replaced by problem-independent parameters. The generalized plan, stored in a convenient format called a triangle table, has two important functions. The more obvious...

Today’s network cards are getting more and more complex. One reason for this is that networks are still getting faster, while cores are not. Two common approaches for allowing network stacks to keep up, are distributing packets to multiple cores directly in the network card, and moving protocol processing fully or partially to the network card. However current network stacks were not designed t...

The interleaving of planning with execution is a basic approach to planning with incomplete information. This paper investigates the use of this approach in stationary environments. We rst de ne a computational framework where this approach can be investigated. We then show how the interleaving of planning with execution can be used for reducing planning with incomplete information to planning ...

Specifications are key to improving software reliability as well as documenting precisely the intended behavior of software. Writing specifications is still perceived as expensive. Of course, writing implementations is at least as expensive, but is hardly questioned because there is currently no real alternative. Our goal is to give specifications a more balanced role compared to implementation...

Behavioral countermeasures are the strategies engaged by liars to deliberately control face or body behavior to fool lie catchers. To date research has not shown whether deceivers can suppress elements of their facial expression as a behavioral countermeasure. This study examined whether participants could suppress facial actions such as eyebrow movements or smiles on command when under scrutin...

DNA computation investigates the potential of DNA as a massively parallel computing device. Research is focused on designing parallel computation models executable by DNA-based chemical processes and on developing algorithms in the models. In 1994 Leonard Adleman initiated this area of research by presenting a DNA-based method for solving the Hamilton Path Problem. That contribution raised the ...

Parallel programming is difficult due to the complexity of dealing with conventional lock-based synchronization. To simplify parallel programming, there have been a number of proposals to support transactions directly in hardware and eliminate locks completely. Although hardware support for transactions has the potential to completely change the way parallel programs are written, initially tran...

This paper describes the K tool, a system for formally defining programming languages. Formal definitions created using the K tool automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer. The modularity of K and the design of the tool allow one semantics to be used for several applications.

Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically an implementation against its assertions. However, formal assertions may describe recursive models which are difficult to identify so current assertion checkers limit, in a considerable way, the expressivit...