Sciweavers

3688 search results - page 176 / 738
» Static analysis of aspects
Sort
View
ASPDAC
2005
ACM
95views Hardware» more  ASPDAC 2005»
16 years 3 days ago
Timing analysis considering temporal supply voltage fluctuation
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
Masanori Hashimoto, Junji Yamaguchi, Takashi Sato,...
AGP
1999
IEEE
15 years 11 months ago
Freeness Analysis through Linear Refinement
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
Patricia M. Hill, Fausto Spoto
ICSM
1998
IEEE
15 years 10 months ago
Analysis of Programs with Exception-Handling Constructs
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
Saurabh Sinha, Mary Jean Harrold
ECOOP
2012
Springer
13 years 9 months ago
Evaluating the Design of the R Language - Objects and Functions for Data Analysis
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
Floréal Morandat, Brandon Hill, Leo Osvald,...
IEEECIT
2005
IEEE
16 years 4 days ago
Web Service Interactions: Analysis and Design
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
Jianwen Su