Sciweavers

1027 search results - page 40 / 206
» Callgraph properties of executables
Sort
View
87
Voted
DATE
2005
IEEE
96views Hardware» more  DATE 2005»
15 years 6 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
81
Voted
BIOADIT
2004
Springer
15 years 6 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
96
Voted
FMOODS
2006
15 years 2 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 ...
SLP
1994
118views more  SLP 1994»
15 years 2 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
68
Voted
JSS
2008
65views more  JSS 2008»
15 years 20 days 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...