3565 search results - page 319 / 713 » Modeling a system controller for timing analysis |
139
click to vote
CJ
2010
15 years 2 months ago
2010
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...
165
Voted
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
146
click to vote
RAID
2004
Springer
15 years 10 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
104
click to vote
BC
2005
15 years 4 months ago
2005
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
124
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...