4770 search results - page 529 / 954 » Flexible Type Analysis |
191
click to vote
IFL
2003
Springer
16 years 2 days ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
184
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
202
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The data stream model has recently attracted attention for its applicability to numerous types of data, including telephone records, web documents and clickstreams. For analysis o...
166
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
In this study, students studied two different domains in the same Intelligent Tutoring System, Andes. Analysis of 435 log files from 22 subjects indicated that there are two types ...
170
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper reports on transfer rate models for the Gnutella signaling protocol. New results on message-level and IP-level rates are presented. The models are based on traffic capt...