Sciweavers

4015 search results - page 497 / 803
» The Future of Software Performance Engineering
Sort
View
EUROMICRO
2005
IEEE
16 years 12 days ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
16 years 10 days ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
ATAL
2004
Springer
16 years 5 days ago
Using the Experimental Method to Produce Reliable Self-Organised Systems
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
Bruce Edmonds
SEKE
2004
Springer
16 years 3 days ago
Digging into the Visitor Pattern
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...
Fabian Büttner, Oliver Radfelder, Arne Lindow...
MSR
2010
ACM
15 years 12 months ago
Finding file clones in FreeBSD Ports Collection
Abstract—In Open Source System (OSS) development, software components are often imported and reused; for this reason we might expect that files are copied in multiple projects (...
Yusuke Sasaki, Tetsuo Yamamoto, Yasuhiro Hayase, K...