Sciweavers

2421 search results - page 335 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
ICSE
2003
IEEE-ACM
16 years 4 months ago
Whole Program Path-Based Dynamic Impact Analysis
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
James Law, Gregg Rothermel
ISMVL
2009
IEEE
124views Hardware» more  ISMVL 2009»
15 years 11 months ago
Equivalence Checking of Reversible Circuits
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
Robert Wille, Daniel Große, D. Michael Mille...
121
Voted
VLDB
2004
ACM
103views Database» more  VLDB 2004»
15 years 10 months ago
Distributed Set Expression Cardinality Estimation
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
Abhinandan Das, Sumit Ganguly, Minos N. Garofalaki...
INFORMATICALT
2010
101views more  INFORMATICALT 2010»
15 years 3 months ago
An Improved Differential Evolution Scheme for the Solution of Large-Scale Unit Commitment Problems
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...
Chen-Sung Chang
DIS
2010
Springer
15 years 2 months ago
An Artificial Experimenter for Enzymatic Response Characterisation
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-P...