395 search results - page 29 / 79 » Towards the systematic use of interfaces in JAVA programming |
153
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
166
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
154
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
154
click to vote
IPPS
1994
IEEE
15 years 10 months ago
1994
IEEE
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
187
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...