9842 search results - page 330 / 1969 » Compositional timing analysis |
140
Voted
SEDE
2007
15 years 6 months ago
2007
The ability to model the evolution of software technology trends is valuable to many stakeholders in industry, academia, and government. Yet we often depend exclusively on the opi...
160
Voted
ARC
2007
Springer
15 years 4 months ago
2007
Springer
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
128
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
109
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
It is shown that just as we did for a purely resistive network [10], that circuit analysis is very simple if the elements are described not by potentials across and currents throug...
161
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...