16190 search results - page 307 / 3238 » Applicative programming with effects |
140
click to vote
PLDI
1995
ACM
1995
ACM
Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation
15 years 7 months ago
Partial Redundancy Elimination PRE is a general scheme for suppressing partial redundancies which encompasses traditional optimizations like loop invariant code motion and redun...
138
click to vote
IRMA
2000
15 years 5 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
136
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
176
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
154
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Macro programming a distributed system, such as a sensor network, is the ability to specify application tasks at a global level while relying on compiler-like software to translat...