819 search results - page 93 / 164 » Fractal symbolic analysis |
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
IPPS
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
FASE
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
SIAMREV
2010
13 years 4 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...