2404 search results - page 423 / 481 » Postmodernism and Control Engineering |
155
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...
134
Voted
IMC
2003
ACM
15 years 10 months ago
2003
ACM
Border Gateway Protocol allows Autonomous Systems (ASs) to apply diverse routing policies for selecting routes and for propagating reachability information to other ASs. Although ...
147
Voted
IUI
2003
ACM
15 years 10 months ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
162
Voted
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...
145
click to vote
AC
2003
Springer
15 years 10 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...