7103 search results - page 214 / 1421 » Components and Generative Programming |
IEEEINTERACT
2003
IEEE
14 years 2 months ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
BIOINFORMATICS
2006
13 years 9 months ago
2006
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...
CACM
1999
13 years 9 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
To integrate a software component into a system, it must interact properly with the system's other components. Unfortunately,the decisions about how a component is to interac...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...