3330 search results - page 573 / 666 » software 2010 |
110
click to vote
SOSYM
2010
14 years 8 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
85
Voted
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
78
Voted
SSS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...
77
Voted
STTT
2010
14 years 8 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
94
Voted
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...