15860 search results - page 2799 / 3172 » Agent-Based Software Engineering |
157
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
141
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
145
Voted
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract—The dynamics of the survival of recruiting fish are analyzed as evolving random processes of aggregation and mortality. The analyses draw on recent advances in the phys...
143
click to vote
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
113
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Cross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The co...