Sciweavers

4722 search results - page 273 / 945
» Encoding Program Executions
Sort
View
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
16 years 2 days ago
Evolutionary testing of state-based programs
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
Phil McMinn, Mike Holcombe
ASAP
2006
IEEE
145views Hardware» more  ASAP 2006»
16 years 19 days ago
2D-VLIW: An Architecture Based on the Geometry of Computation
This work proposes a new architecture and execution model called 2D-VLIW. This architecture adopts an execution model based on large pieces of computation running over a matrix of...
Ricardo Santos, Rodolfo Azevedo, Guido Araujo
ISORC
2005
IEEE
16 years 4 days ago
Object-Reuse for More Predictable Real-Time Java Behavior
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
Jameela Al-Jaroodi, Nader Mohamed
FSTTCS
2004
Springer
15 years 12 months ago
Toward a Grainless Semantics for Shared-Variable Concurrency
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
John C. Reynolds
WORDS
2003
IEEE
15 years 11 months ago
Input-Dependency Analysis for Hard Real-Time Software
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
Jan Gustafsson, Björn Lisper, Raimund Kirner,...