Sciweavers

353 search results - page 63 / 71
» TRICS: A Testing Tool for C
Sort
View
SOFTVIS
2010
ACM
13 years 7 months ago
Towards anomaly comprehension: using structural compression to navigate profiling call-trees
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
Shen Lin 0003, François Taïani, Thomas...
RAS
2006
100views more  RAS 2006»
13 years 7 months ago
Aibo and Webots: Simulation, wireless remote control and controller transfer
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...
Lukas Hohl, Ricardo A. Téllez, Olivier Mich...
EVOW
2009
Springer
13 years 5 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....
HCI
2009
13 years 5 months ago
Seeing the World through an Expert's Eyes: Context-Aware Display as a Training Companion
Responsive Adaptive Display Anticipates Requests (RADAR) is a domain general system that learns to highlight an individual's preferred information displays, given the current ...
Marc T. Tomlinson, Michael Howe, Bradley C. Love
ASPDAC
1995
ACM
111views Hardware» more  ASPDAC 1995»
13 years 11 months ago
A hardware-software co-simulator for embedded system design and debugging
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
A. Ghosh, M. Bershteyn, R. Casley, C. Chien, A. Ja...