Sciweavers

3889 search results - page 735 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
150
Voted
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 6 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
141
Voted
ISSTA
2004
ACM
15 years 8 months ago
An experimental evaluation of continuous testing during development
Continuous testing uses excess cycles on a developer’s workstation to continuously run regression tests in the background, providing rapid feedback about test failures as source...
David Saff, Michael D. Ernst
117
Voted
ESA
1993
Springer
109views Algorithms» more  ESA 1993»
15 years 6 months ago
Optimal Upward Planarity Testing of Single-Source Digraphs
A digraph is upward planar if it has a planar drawing such that all the edges are monotone with respect to the vertical direction. Testing upward planarity and constructing upward ...
Paola Bertolazzi, Giuseppe Di Battista, Carlo Mann...
133
Voted
CODES
2008
IEEE
15 years 9 months ago
Static analysis of processor stall cycle aggregation
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
Jongeun Lee, Aviral Shrivastava
143
Voted
CONCURRENCY
2002
99views more  CONCURRENCY 2002»
15 years 2 months ago
A distributed computing environment for interdisciplinary applications
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
Jerry A. Clarke, Raju R. Namburu