Sciweavers

4285 search results - page 276 / 857
» Differential Behavioral Analysis
Sort
View
UML
2005
Springer
16 years 5 days ago
Automated Analysis of Natural Language Properties for UML Models
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
Sascha Konrad, Betty H. C. Cheng
195
Voted
ISMAR
2003
IEEE
15 years 12 months ago
Personal Positioning based on Walking Locomotion Analysis with Self-Contained Sensors and a Wearable Camera
In this paper, we propose a method of personal positioning for a wearable Augmented Reality (AR) system that allows a user to freely move around indoors and outdoors. The user is ...
Masakatsu Kourogi, Takeshi Kurata
DATE
2010
IEEE
107views Hardware» more  DATE 2010»
15 years 11 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...
190
Voted
IEEEPACT
2000
IEEE
15 years 11 months ago
Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
Tom Way, Ben Breech, Lori L. Pollock
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 10 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...