856 search results - page 96 / 172 » Dependent Types in Practical Programming |
MP
2010
13 years 7 months ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
SIGSOFT
2005
ACM
14 years 2 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we provide a framework for the asymptotic performance analysis of space–time codes (STCs) in correlated Ricean fading and non–Gaussian noise and interference...