2324 search results - page 164 / 465 » Benchmark Generation Using Domain Specific Modeling |
110
click to vote
EMS
2008
IEEE
15 years 8 months 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...
113
click to vote
CVPR
2007
IEEE
16 years 4 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...
119
click to vote
KBSE
1999
IEEE
15 years 6 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 ...
111
click to vote
ICEIS
2002
IEEE
15 years 7 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...
123
click to vote
DSL
2009
15 years 3 days 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...