1403 search results - page 65 / 281 » Quantitative Interprocedural Analysis |
207
click to vote
CC
2011
Springer
14 years 4 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
134
click to vote
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
106
Voted
HCI
2009
14 years 10 months ago
2009
Quantitative models of whole body expressive movement can be developed by combining methods form biomechanics, psychology, and statistics. The purpose of this paper was to use moti...
94
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
90
Voted
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...