This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …

The abundance of defects in existing software systems is unsustainable. Addressing them is
a dominant cost of software maintenance, which in turn dominates the life cycle cost of a …

In computer architecture research and development, simulation is a powerful way of
acquiring and predicting processor behaviors. While architectural simulation has been …

(57) ABSTRACT A co-simulation design System to Simulate on a host an electronic System
that includes target digital circuitry and a target processor with an accompanying user …

When constructing real-time systems, safe and tight estimations of the worst case execution
time (WCET) of programs are needed. To obtain tight estimations, a common approach is to …

US8170859B1 - Methods, apparatuses and computer program products for simulating arbitrary
unmodified code - Google Patents US8170859B1 - Methods, apparatuses and computer …

Gathering detailed run-time information such as memory access traces in operating system
and security research often involves functional full system simulation (FFSS). The simulator …

Software quality is an urgent problem. There are so many bugs in industrial program source
code that mature software projects are known to ship with both known and unknown bugs …

The SpiNNaker Chip-multiprocessor (CMP) system is a novel SoC architecture, designed
specifically for large-scale neural simulations in real-time. We have developed a multi-chip …

Configuring a million-core parallel system at boot time is a difficult process when the system
has neither specialised boot-up hardware support nor a preconfigured default state that puts …