Sciweavers

4263 search results - page 442 / 853
» Learning without Coding
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
CIMCA
2008
IEEE
16 years 1 months ago
The C++ Hybrid Imperative Meta-Programmer: CHIMP
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
John Kenyon, Frederick C. Harris Jr., Sergiu M. Da...
ICASSP
2008
IEEE
16 years 1 months ago
A no-reference perceptual blockiness metric
A novel no-reference blockiness metric that can automatically and perceptually quantify blocking artifacts of DCT coding is presented. The proposed metric is built upon the specif...
Hantao Liu, Ingrid Heynderickx
ICASSP
2008
IEEE
16 years 1 months ago
Optimal stochastic dual resource allocation for cognitive radios based on quantized CSI
The present paper deals with dynamic resource management based on quantized channel state information (CSI) for multi-carrier cognitive radio networks comprising primary and secon...
Antonio G. Marqués, Xin Wang, Georgios B. G...