Sciweavers

4350 search results - page 37 / 870
» Case studies for contract-based systems
Sort
View
100
Voted
CHI
2010
ACM
15 years 10 months ago
Case study: designing an advanced visualization system for geological core drilling expeditions
Yu-Chung Chen, Sangyoon Lee, Hyejung Hur, Jason Le...
108
Voted
ICFEM
2009
Springer
15 years 10 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
142
Voted
IPPS
2006
IEEE
15 years 9 months ago
Performance analysis of Java concurrent programming: a case study of video mining system
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
Wenlong Li, Eric Li, Ran Meng, Tao Wang, Carole Du...