Sciweavers

565 search results - page 36 / 113
» Combining Multi-Agent-System Methodologies for Organic Compu...
Sort
View
CGF
2004
97views more  CGF 2004»
15 years 3 months ago
Implicit Visualization and Inverse Modeling of Growing Trees
A method is proposed for photo-realistic modeling and visualization of a growing tree. Recent visualization methods have focused on producing smoothly blending branching structure...
Callum Galbraith, Lars Mündermann, Brian Wyvi...
120
Voted
ASPDAC
2005
ACM
98views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Online hardware/software partitioning in networked embedded systems
Abstract— Today’s embedded systems are typically distributed and more often confronted with timevarying demands. Existing methodologies that optimize the partitioning of comput...
Thilo Streichert, Christian Haubelt, Jürgen T...
HCI
2009
15 years 1 months ago
DocEmoX: A System for the Typography-Derived Emotional Annotation of Documents
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....
Georgios Kouroupetroglou, Dimitrios Tsonos, Eugeni...
DATE
2010
IEEE
107views Hardware» more  DATE 2010»
15 years 8 months ago
Worst case delay analysis for memory interference in multicore systems
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
Rodolfo Pellizzoni, Andreas Schranzhofer, Jian-Jia...
KBSE
1997
IEEE
15 years 7 months ago
Moving Proofs-As-Programs into Practice
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
James L. Caldwell