3951 search results - page 156 / 791 » Automatic amortized analysis |
138
Voted
MVA
2006
15 years 4 months ago
2006
We describe tools for automatic identification and classification of diatoms that compare photographs with other photographs and drawings, via a model. Identification of diatoms, i...
120
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In large-scale distributed systems, asynchronous communication and future objects are becoming wide spread mechanisms to tolerate high latencies and to improve global performances...
163
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
124
click to vote
IANDC
2008
15 years 5 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
150
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...