Sciweavers

140 search results - page 7 / 28
» Application of Analogical Modelling to Example Based Machine...
Sort
View
CORR
2008
Springer
73views Education» more  CORR 2008»
14 years 11 months ago
Stiffness Analysis of 3-d.o.f. Overconstrained Translational Parallel Manipulators
The paper presents a new stiffness modelling method for overconstrained parallel manipulators, which is applied to 3-d.o.f. translational mechanisms. It is based on a multidimensio...
Anatoly Pashkevich, Damien Chablat, Philippe Wenge...
91
Voted
ASM
2008
ASM
15 years 1 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
EH
1999
IEEE
351views Hardware» more  EH 1999»
15 years 4 months ago
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
Marek A. Perkowski, Alan Mishchenko, Anatoli N. Ch...
117
Voted
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 3 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
79
Voted
DAC
1999
ACM
16 years 19 days ago
LISA - Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
Stefan Pees, Andreas Hoffmann, Vojin Zivojnovic, H...