Sciweavers

8492 search results - page 143 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
MEMOCODE
2003
IEEE
15 years 9 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
DATE
2005
IEEE
102views Hardware» more  DATE 2005»
15 years 9 months ago
Modeling of a Reconfigurable OFDM IP Block Family For an RF System Simulator
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
Hannu Heusala, Jussi Liedes
PC
1998
123views Management» more  PC 1998»
15 years 3 months ago
Designing communication strategies for heterogeneous parallel systems
This paper investigates communication strategies for interconnecting heterogeneous parallel systems. As the speed of processors and parallel systems keep on increasing over the ye...
Ravi Prakash, Dhabaleswar K. Panda
CCE
2010
15 years 1 months ago
Combined mass and energy integration in process design at the example of membrane-based gas separation systems
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
Martin Gassner, François Maréchal
HCI
2009
15 years 1 months ago
A New Approach to Design an Interactive System for Molecular Analysis
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
Mouna Essabbah, Samir Otmane, Joan Hérisson...