Sciweavers

236 search results - page 5 / 48
» On the impact of concurrent downloads
Sort
View
78
Voted
CERA
2008
92views more  CERA 2008»
15 years 19 days ago
Web Service-oriented Electronic Catalogs for Product Customization
er.sagepub.com/cgi/content/abstract/16/4/263 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
Yongsheng Ma, Jianxin Jiao, Yimin Deng
74
Voted
CERA
2006
55views more  CERA 2006»
15 years 17 days ago
Modeling the Product Development Process as a Dynamic System with Feedback
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
Hong-Zhong Huang, Ying-Kui Gu
111
Voted
FASE
2010
Springer
15 years 7 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...
101
Voted
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 7 months ago
The Impact of Memory Models on Software Reliability in Multiprocessors
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
Alexander Jaffe, Thomas Moscibroda, Laura Effinger...
FMOODS
2008
15 years 1 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens