4438 search results - page 651 / 888 » The Case for Collaborative Programming |
162
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
140
click to vote
ICASSP
2011
IEEE
2011
IEEE
Transmit beamspace design for direction finding in colocated MIMO radar with arbitrary receive array
14 years 10 months ago
The transmit beamspace design problem for colocated multiple-input multiple-output (MIMO) radar is considered. We show that the MIMO radar transmit beampattern can be designed so ...
120
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A noise-robust, signal-to-noise ratio (SNR)-weighted correlogrambased pitch estimation algorithm (PEA) in which a bank of comb filters operates in each of the low, mid, and high ...
200
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
208
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...