Sciweavers

2339 search results - page 54 / 468
» Models and Tools for Mulan Applications
Sort
View
CSB
2005
IEEE
163views Bioinformatics» more  CSB 2005»
15 years 11 months ago
A symbolic approach to the simulation of biochemical models: application to circadian rhythms
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
Federico Fontana, Luca Bianco, Vincenzo Manca
DAC
1996
ACM
15 years 10 months ago
A Register File and Scheduling Model for Application Specific Processor Synthesis
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
Ehat Ercanli, Christos A. Papachristou
FMOODS
2007
15 years 7 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
IIWAS
2008
15 years 7 months ago
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
Alessandro Oliveira Arantes, Nandamudi Lankalapall...
ICTAI
2007
IEEE
16 years 14 days ago
A Tool for Portfolio Generation Using an Argumentation Based Decision Making Framework
In this paper, a tool that uses an argumentation based decision making framework is proposed for the construction of mutual fund portfolios. The argumentation framework is employe...
Nikolaos I. Spanoudakis, Konstantina Pendaraki