9842 search results - page 405 / 1969 » Compositional timing analysis |
147
click to vote
MASCOTS
2004
15 years 7 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
258
click to vote
GISCIENCE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Eye movement recordings produce large quantities of spatiotemporal data, and are more and more frequently used as an aid to gain further insight into human thinking in us...
164
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
170
click to vote
IS
2007
15 years 6 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
166
click to vote
MST
2010
15 years 4 months ago
2010
Abstract. We investigate the effect of linear independence in the strategies of congestion games on the convergence time of best improvement sequences and on the pure Price of Anar...