Sciweavers

15635 search results - page 375 / 3127
» Modelling and Design of VAML
Sort
View
DAC
2007
ACM
15 years 10 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye
DATE
2008
IEEE
81views Hardware» more  DATE 2008»
16 years 1 months ago
Using UML as Front-end for Heterogeneous Software Code Generation Strategies
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
Lisane B. de Brisolara, Marcio F. da S. Oliveira, ...
154
Voted
WSC
2008
15 years 9 months ago
Simulation and experimental design applied to sizing supermarket cashiers in Colombia
A framework for Colombian supermarkets challenges in order to find an adequate number of cashiers and baggers was developed, translated to a simulation model using Promodel
Jorge A. Alvarado, Luis M. Pulido
ISCI
2007
90views more  ISCI 2007»
15 years 6 months ago
Database design and querying within the fuzzy semantic model
Fuzzy semantic model (FSM) is a data model that uses basic concepts of semantic modeling and supports handling fuzziness, uncertainty and imprecision of real-world at the attribut...
Rafik Bouaziz, Salem Chakhar, Vincent Mousseau, Su...
JLP
2010
73views more  JLP 2010»
15 years 1 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky