Sciweavers

3192 search results - page 283 / 639
» Translating Model Simulators to Analysis Models
Sort
View
142
Voted
SOSYM
2010
107views more  SOSYM 2010»
15 years 1 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
111
Voted
WSC
2007
15 years 5 months ago
"See and Treat" or "See" and "Treat" in an emergency department
“See and Treat” in an Emergency Department combines the process of patient assessment with treatment in the expectation that it will increase patient throughput and decrease q...
Ruth Davies
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
15 years 1 months ago
Kinematic analysis and optimal design of a 3T1R type parallel mechanism
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
Sung Mok Kim, Whee Kuk Kim, Byung-Ju Yi
MICRO
2008
IEEE
138views Hardware» more  MICRO 2008»
15 years 10 months ago
Hybrid analytical modeling of pending cache hits, data prefetching, and MSHRs
As the number of transistors integrated on a chip continues to increase, a growing challenge is accurately modeling performance in the early stages of processor design. Analytical...
Xi E. Chen, Tor M. Aamodt
115
Voted
DATE
2009
IEEE
111views Hardware» more  DATE 2009»
15 years 10 months ago
Increased accuracy through noise injection in abstract RTOS simulation
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
Henning Zabel, Wolfgang Mueller