Sciweavers

6834 search results - page 82 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
ISOLA
2010
Springer
13 years 8 months ago
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
Alain Plantec, Frank Singhoff, Pierre Dissaux, J&e...
DAC
1996
ACM
14 years 2 months ago
Application of a Markov Model to the Measurement, Simulation, and Diagnosis of an Iterative Design Process
- This paper presents the use of a Markov-based model for analyzing iterative design processes. Techniques are developed for collecting process metadata and calibrating the model. ...
Eric W. Johnson, Luis A. Castillo, Jay B. Brockman
HCI
2007
13 years 11 months ago
Modeling Human Bipedal Navigation in a Dynamic Three Dimensional Virtual Environment
The current research sought to construct a computational model of human navigation for virtual three dimensional environments. The model was implemented within the ACT-R cognitive ...
Mark D. Thomas, Daniel W. Carruth, Bryan Robbins, ...
ENTCS
2006
96views more  ENTCS 2006»
13 years 10 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad
OOPSLA
2005
Springer
14 years 3 months ago
Modeling architectural patterns using architectural primitives
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
Uwe Zdun, Paris Avgeriou