7189 search results - page 1247 / 1438 » Connecting Design with Code |
142
click to vote
ANOR
2007
15 years 4 months ago
2007
Abstract The pervasiveness and impact on society and on every day human life of technology has led to a growing awareness that science and technology cannot be considered above or ...
117
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
141
click to vote
IEE
2008
15 years 4 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
126
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We consider transmission over the ergodic fading multiple-antenna broadcast (MIMO-BC) channel with partial channel state information at the transmitter and full information at the ...