8056 search results - page 450 / 1612 » Object Behavior Analysis |
234
click to vote
ECBS
1999
IEEE
15 years 12 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
238
click to vote
FTCS
1993
15 years 9 months ago
1993
Although the present work does in fact employ training data, it does so in the interest of calibrating the results Six hundred faults were induced by injection into five live obtai...
243
click to vote
IANDC
2011
15 years 2 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
268
click to vote
HIPEAC
2011
Springer
14 years 7 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
158
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
This paper provides an extensive analysis of pre-stored streaming media workloads, focusing on the client interactive behavior. We analyze four workloads that fall into three diff...