3565 search results - page 102 / 713 » Modeling a system controller for timing analysis |
193
click to vote
WSC
2004
15 years 4 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...
125
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— The paper proposes an improved model and its approximation for a diffusion of a biochemical agent in the air. Based on the model, a new motion control algorithm based on the Fi...
141
click to vote
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
139
click to vote
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
133
click to vote
VTC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we study the joint design of uplink and downlink resources in OFDMA-based systems. We first analyze the interactions between uplink and downlink, due essentiall...