Sciweavers

1027 search results - page 40 / 206
» Callgraph properties of executables
Sort
View
110
Voted
DATE
2005
IEEE
96views Hardware» more  DATE 2005»
15 years 9 months ago
Structural Testing Based on Minimum Kernels
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
Elena Dubrova
108
Voted
BIOADIT
2004
Springer
15 years 9 months ago
Dynamic Self-Assembly and Computation: From Biological to Information Systems
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
Ann M. Bouchard, Gordon C. Osbourn
124
Voted
FMOODS
2006
15 years 4 months ago
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...
143
Voted
SLP
1994
118views more  SLP 1994»
15 years 4 months ago
A Simple Program Transformation for Parallelism
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
Saumya K. Debray, Mudita Jain
JSS
2008
65views more  JSS 2008»
15 years 3 months ago
Process pipeline scheduling
This paper explores how process pipeline scheduling may become a viable strategy for executing workflows. It first details a workflow optimization and execution algorithm that redu...
Melissa Lemos, Marco A. Casanova, Antonio L. Furta...