2278 search results - page 267 / 456 » Specification Techniques for Automatic Performance Analysis ... |
166
click to vote
MIR
2006
ACM
16 years 2 days ago
2006
ACM
There is a growing need to access historical Ottoman documents stored in large archives and therefore managing tools for automatic searching, indexing and transcription of these d...
137
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
168
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
203
Voted
DAGSTUHL
2001
15 years 7 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
185
click to vote
ISF
2011
15 years 1 months ago
2011
Abstract Extremist organizations are heavily utilizing Internet technologies to increase their abilities to influence the world. Studying those global extremist organizations’ In...