Sciweavers

2498 search results - page 260 / 500
» A tool for materials exploration
Sort
View
KBSE
2007
IEEE
16 years 1 months ago
The business case for automated software engineering
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin...
IESS
2007
Springer
128views Hardware» more  IESS 2007»
16 years 1 months ago
An Interactive Design Environment for C-based High-Level Synthesis
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
IVA
2007
Springer
16 years 1 months ago
Embodied Creative Agents: A Preliminary Social-Cognitive Framework
The goal of this paper is to open discussion about industrial creativity as a potential application field for Embodied Conversational Agents. We introduce the domain of creativity ...
Stéphanie Buisine, Améziane Aoussat,...
CCECE
2006
IEEE
16 years 1 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
IWPC
2006
IEEE
16 years 1 months ago
An Architecture to Support Model Driven Software Visualization
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
R. Ian Bull, Margaret-Anne D. Storey, Jean-Marie F...