603 search results - page 29 / 121 » concurrency 2010 |
122
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
116
Voted
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We propose a novel method to detect human poses in videos by concurrently optimizing body part matching and object segmentation. With a single exemplar image, the propose...
110
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
93
Voted
ENTCS
2006
15 years 25 days ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
172
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...