Sciweavers

2777 search results - page 337 / 556
» Example centric programming
Sort
View
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 1 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
FGCS
2010
129views more  FGCS 2010»
15 years 1 months ago
Bulk synchronous parallel ML with exceptions
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
Louis Gesbert, Frédéric Gava, Fr&eac...
ICASSP
2010
IEEE
15 years 1 months ago
2-D two-fold symmetric circular shaped filter design with homomorphic processing application
A design method of a linear-phased, two-dimensional (2-D), twofold symmetric circular shaped filter is presented in this paper. Although the proposed method designs a non-separab...
Akila J. Seneviratne, Ha Hoang Kha, Hoang Duong Tu...
ICRA
2010
IEEE
427views Robotics» more  ICRA 2010»
15 years 1 months ago
KCT: a MATLAB toolbox for motion control of KUKA robot manipulators
— The Kuka Control Toolbox (KCT) is a collection of MATLAB functions for motion control of KUKA robot manipulators, developed to offer an intuitive and high-level programming int...
Francesco Chinello, Stefano Scheggi, Fabio Morbidi...
VAMOS
2010
Springer
15 years 1 months ago
Optimizing Non-functional Properties of Software Product Lines by means of Refactorings
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
Norbert Siegmund, Martin Kuhlemann, Mario Pukall, ...