619 search results - page 37 / 124 » The measurement of a design structural and functional comple... |
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
100
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
108
click to vote
IMC
2010
ACM
14 years 9 months ago
2010
ACM
In this paper we present Netalyzr, a network measurement and debugging service that evaluates the functionality provided by people's Internet connectivity. The design aims to...
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
115
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...