4725 search results - page 710 / 945 » Dependence-Based Program Analysis |
143
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
138
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
131
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
148
click to vote
ICSR
2004
Springer
15 years 10 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
158
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a method to estimate the bit error rate (BER) of the wireless channel based on statistical analysis of the soft output of the receiver only. In HiperLAN/2 sever...