1690 search results - page 129 / 338 » Applications of Metric Coinduction |
122
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
109
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
The explosive growth in image sharing via social networks has produced exciting opportunities for the computer vision community in areas including face, text, product and scene re...
124
click to vote
SIGMETRICS
2012
ACM
13 years 2 months ago
2012
ACM
Latency has become an important metric for network monitoring since the emergence of new latency-sensitive applications (e.g., algorithmic trading and high-performance computing)....
189
click to vote
PLDI
2009
ACM
16 years 13 days ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
112
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...