856 search results - page 108 / 172 » Dependent Types in Practical Programming |
HPCC
2007
Springer
14 years 3 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
AIIA
2009
Springer
14 years 3 months ago
2009
Springer
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, we study the asymptotic behavior of the bit–error probability (BEP) and symbol–error probability (SEP) of coherent maximum–ratio combining (MRC) in correla...