2231 search results - page 376 / 447 » Alternation as a programming paradigm |
128
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The Charm++ parallel programming system provides a modular performance interface that can be used to extend its performance measurement and analysis capabilities. The in...
109
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
156
click to vote
CF
2009
ACM
15 years 11 months ago
2009
ACM
The exponential growth of databases that contains biological information (such as protein and DNA data) demands great efforts to improve the performance of computational platforms...
154
Voted
MM
2009
ACM
15 years 11 months ago
2009
ACM
Emerging IPTV technology uses source-specific IP multicast to deliver TV programs to the end-users. To provide timely and reliable services over the error-prone DSL access networ...
125
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Compressed sensing allows perfect recovery of sparse signals (or signals sparse in some basis) using only a small number of measurements. The results in the literature have focuse...