3311 search results - page 128 / 663 » Deductive Object Programming |
102
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
153
Voted
TGC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
131
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
104
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...