Sciweavers

4454 search results - page 114 / 891
» Designing components for e-services
Sort
View
BMAS
2000
IEEE
15 years 11 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
HVC
2007
Springer
103views Hardware» more  HVC 2007»
16 years 18 days ago
Verifying Parametrised Hardware Designs Via Counter Automata
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
Ales Smrcka, Tomás Vojnar
VLSID
1996
IEEE
106views VLSI» more  VLSID 1996»
15 years 10 months ago
VLSI/WSI Designs for Folded Cube-Connected Cycles Architectures
This paper presents VLSI/WSI designs for a recently introduced parallel architecture known as the folded cube-connected cycles (FCCC). We first discuss two layouts for the FCCC, i...
M. P. Sebastian, P. S. Nagendra Rao, Lawrence Jenk...
MC
2008
109views Computer Science» more  MC 2008»
15 years 7 months ago
Evaluation and Design of Auditory Feedback for a Mobile Outdoor Training Assistant
This paper presents a study about the design and evaluation of auditory feedback for a mobile outdoor training assistant. The requirement analysis and evaluation has been conducte...
Ekaterina Kurdyukova, Jochen Hahnen, Wolfgang Prin...
ENGL
2007
100views more  ENGL 2007»
15 years 6 months ago
Object Oriented Design and Implementation of an Inference Engine for Fuzzy Systems
—This paper describes the design and implementation of an inference engine for the execution of Fuzzy Inference Systems (FIS), the architecture of the system is presented, and th...
José Mario García Valdez, Guillermo ...