2324 search results - page 164 / 465 » Benchmark Generation Using Domain Specific Modeling |
144
click to vote
EMS
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper presents investigations into the development of control schemes for end-point vibration suppression and input tracking of a flexible manipulator. A constrained planar s...
154
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The task of registering video frames with a static model is a common problem in many computer vision domains. The standard approach to registration involves finding point correspo...
164
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
147
Voted
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
172
Voted
DSL
2009
15 years 3 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...