Sciweavers

88 search results - page 5 / 18
» An Evaluation of a Structured Spreadsheet Development Method...
Sort
View
ICFEM
1997
Springer
15 years 1 months ago
Development and Application of a Formal Agent Framework
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
Mark d'Inverno, Michael Luck
DATE
2009
IEEE
130views Hardware» more  DATE 2009»
15 years 4 months ago
Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...
Tero Arpinen, Tapio Koskinen, Erno Salminen, Timo ...
ERSHOV
1999
Springer
15 years 1 months ago
The Essence of Program Transformation by Partial Evaluation and Driving
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
Neil D. Jones
TSMC
2010
14 years 4 months ago
Uncertainty Evaluation Through Mapping Identification in Intensive Dynamic Simulations
We study how the dependence of a simulation output on an uncertain parameter can be determined, when simulations are computationally expensive and so can only be run for very few p...
Yan Wan, Sandip Roy, Bernard C. Lesieutre
98
Voted
CODES
1996
IEEE
15 years 1 months ago
Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
Jean Paul Calvez, Dominique Heller, Olivier Pasqui...