4438 search results - page 424 / 888 » The Case for Collaborative Programming |
346
click to vote
SSDBM
2011
IEEE
14 years 10 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
225
click to vote
PLDI
1991
ACM
15 years 10 months ago
1991
ACM
o Authors of Extended Abstracts William Pugh Dept. of Computer Science and Institute for Advanced Computer Studies Univ. of Maryland, College Park March 16, 1993 This article stems...
167
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
166
click to vote
APSEC
2005
IEEE
16 years 18 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
151
click to vote
GECCO
2005
Springer
16 years 15 days ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...