Sciweavers

2834 search results - page 98 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
FPL
2004
Springer
205views Hardware» more  FPL 2004»
15 years 10 months ago
A System Level Resource Estimation Tool for FPGAs
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
Changchun Shi, James Hwang, Scott McMillan, Ann Ro...
ENVSOFT
2008
79views more  ENVSOFT 2008»
15 years 4 months ago
A Lagrangian tool for modelling ichthyoplankton dynamics
Ichthyop is a free Java tool designed to study the effects of physical and biological factors on ichthyoplankton dynamics. It incorporates the most important processes involved in...
Christophe Lett, Philippe Verley, Christian Mullon...
SPIN
2009
Springer
15 years 11 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
ESAW
2000
Springer
15 years 8 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi
SPLC
2008
15 years 6 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...