Sciweavers

236 search results - page 5 / 48
» On the impact of concurrent downloads
Sort
View
CERA
2008
92views more  CERA 2008»
13 years 8 months 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
CERA
2006
55views more  CERA 2006»
13 years 8 months 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
FASE
2010
Springer
14 years 3 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 ...
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 3 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
13 years 10 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