Sciweavers

3045 search results - page 454 / 609
» Formal Approaches to Software Architecture
Sort
View
DAC
2006
ACM
16 years 7 months ago
Scheduling-based test-case generation for verification of multimedia SoCs
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ron...
172
Voted
EMSOFT
2004
Springer
15 years 10 months ago
Separation of concerns: overhead in modeling and efficient simulation techniques
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
Guang Yang 0004, Alberto L. Sangiovanni-Vincentell...
EWSPT
1995
Springer
15 years 10 months ago
Experiments in Process Interface Descriptions, Visualizations and Analyses
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
David C. Carr, Ashok Dandekar, Dewayne E. Perry
AVI
2004
15 years 8 months ago
Observing and adapting user behavior in navigational 3D interfaces
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
Augusto Celentano, Fabio Pittarello
RTS
2006
132views more  RTS 2006»
15 years 6 months ago
A framework for modular analysis and exploration of heterogeneous embedded systems
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst