Sciweavers

2493 search results - page 71 / 499
» Tool Support for Design by Contract
Sort
View
FCCM
2006
IEEE
162views VLSI» more  FCCM 2006»
15 years 3 months ago
Power Visualization, Analysis, and Optimization Tools for FPGAs
This paper introduces the Low-Power Intelligent Tool Environment (LITE), an object oriented tool set designed for power visualization, analysis, and optimization. These tools lever...
Matthew French, Li Wang, Michael J. Wirthlin
CODES
1999
IEEE
15 years 2 months ago
Co-design tool construction using APICES
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
Ansgar Bredenfeld
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
15 years 3 months ago
SeamCAD: Object-Oriented Modeling Tool for Hierarchical Systems in Enterprise Architecture
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...
Lam-Son Lê, Alain Wegmann
AIED
2007
Springer
15 years 4 months ago
Tools for Authoring a Dialogue Agent that Participates in Learning Studies
TuTalk supports the rapid development of dialogue agents for learning applications. It enables an experimenter to create a dialogue agent with either minimal or no programming and ...
Pamela W. Jordan, Brian Hall, Michael A. Ringenber...
GLVLSI
2000
IEEE
69views VLSI» more  GLVLSI 2000»
15 years 2 months ago
Supporting system-level power exploration for DSP applications
System-level power exploration requires tools for estimation of the overall power consumed by a system, as well as a detailed breakdown of the consumption of its main functional b...
Luca Benini, Marco Ferrero, Alberto Macii, Enrico ...