5228 search results - page 824 / 1046 » Case Studies for Software Engineers |
179
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
A critical problem in implementing interactive perception applications is the considerable computational cost of current computer vision and machine learning algorithms, which typ...
167
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
179
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
Adaptive Body Biasing (ABB) is a popularly used technique to mitigate the increasing impact of manufacturing process variations on leakage power dissipation. The efficacy of the ...
182
click to vote
CODES
2007
IEEE
16 years 29 days ago
2007
IEEE
System-on-Chip architectures incorporate several IP cores with well defined master and slave characteristics in terms of on-chip communication. The paper presents a parameterized ...
145
click to vote
ICCCN
2007
IEEE
16 years 29 days ago
2007
IEEE
— In this paper, we evaluate the performance of a software IP router forwarding plane inside the Xen virtual machine monitor environment with a view to identifying (some) design ...