Sciweavers

3718 search results - page 541 / 744
» Programming by Integration in Robotics
Sort
View
LICS
2005
IEEE
16 years 18 days ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
SIGCSE
2005
ACM
147views Education» more  SIGCSE 2005»
16 years 17 days ago
Automated tutoring for a database skills training environment
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
Claire Kenny, Claus Pahl
CC
2005
Springer
124views System Software» more  CC 2005»
16 years 16 days ago
Boosting the Performance of Multimedia Applications Using SIMD Instructions
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiah...
CP
2005
Springer
16 years 16 days ago
On Solving Soft Temporal Constraints Using SAT Techniques
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
Hossein M. Sheini, Bart Peintner, Karem A. Sakalla...
GPCE
2005
Springer
16 years 16 days ago
A Versatile Kernel for Multi-language AOP
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
Éric Tanter, Jacques Noyé