Sciweavers

5434 search results - page 122 / 1087
» Tool support for MOLA
Sort
View
ICSE
2009
IEEE-ACM
15 years 10 months ago
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilh...
154
Voted
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
15 years 10 months ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine
BNCOD
2003
97views Database» more  BNCOD 2003»
15 years 7 months ago
ProSQL: A Prototyping Tool for SQL Temporal Language Extensions
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
James Green, Roger Johnson
WCE
2007
15 years 7 months ago
GIS as a Tool in Emergency Management Process
— This paper shows how GIS could be used to support decision making in emergency risk management. Paper describes GinisEmergency tool, which is based on existing semantic interop...
Leonid Stoimenov, Aleksandar Milosavljevic, Aleksa...
TODAES
2008
47views more  TODAES 2008»
15 years 6 months ago
A tool for automatic detection of deadlock in wormhole networks on chip
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encr...