Sciweavers

540 search results - page 27 / 108
» Mathematical programming based debugging
Sort
View
CANDC
2000
ACM
14 years 9 months ago
Step by Step Filter Based Program for Calculations of Highly Informative Derivative Curves
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
Vesselin Petrov, Liudmil Antonov, Hitoshi Ehara, N...
ENTCS
2007
103views more  ENTCS 2007»
14 years 9 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
ICCAD
2000
IEEE
74views Hardware» more  ICCAD 2000»
15 years 2 months ago
Simultaneous Gate Sizing and Fanout Optimization
This paper describes an algorithm for simultaneous gate sizing and fanout optimization along the timing-critical paths in a circuit. First, a continuous-variable delay model that ...
Wei Chen, Cheng-Ta Hsieh, Massoud Pedram
ISSTA
2006
ACM
15 years 3 months ago
A regression tests selection technique for aspect-oriented programs
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
Guoqing Xu
CCGRID
2007
IEEE
15 years 4 months ago
Revisit of View-Oriented Parallel Programming
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
Z. Huang, W. Chen