Monitors | 1974/10/01 | English | 621 |
The notions of consistency and predicate locks in a database system | 1976/11/01 | English | 610 |
A field study of the software design process for large systems | 1988/11/01 | English | 608 |
Self-stabilizing systems in spite of distributed control | 1974/11/01 | English | 603 |
Symbolic execution and program testing | 1976/07/01 | English | 600 |
Real-time human pose recognition in parts from single depth images | 2013/01/01 | English | 579 |
Groupware: some issues and experiences | 1991/01/03 | English | 563 |
Guarded commands, nondeterminacy and formal derivation of programs | 1975/08/01 | English | 559 |
Understanding deep learning (still) requires rethinking generalization | 2021/02/22 | English | 558 |
Designing for usability: key principles and what designers think | 1985/03/01 | English | 546 |
An improved illumination model for shaded display | 1980/06/01 | English | 546 |
Electronic meeting systems | 1991/07/01 | English | 543 |
New methods to color the vertices of a graph | 1979/04/01 | English | 517 |
The cosmic cube | 1985/01/02 | English | 514 |
Using encryption for authentication in large networks of computers | 1978/12/01 | English | 504 |
The KDD process for extracting useful knowledge from volumes of data | 1996/11/01 | English | 493 |
Random number generators: good ones are hard to find | 1988/10/01 | English | 492 |
Techniques and applications for sentiment analysis | 2013/04/01 | English | 492 |
Anton, a special-purpose machine for molecular dynamics simulation | 2008/07/01 | English | 491 |
The CAVE: audio visual experience automatic virtual environment | 1992/06/01 | English | 489 |
Fuzzy logic, neural networks, and soft computing | 1994/03/01 | English | 485 |
Data quality assessment | 2002/04/01 | English | 477 |
The tail at scale | 2013/02/01 | English | 475 |
Blockchain beyond bitcoin | 2016/10/28 | English | 467 |
The UNIX time-sharing system | 1974/07/01 | English | 463 |
Some computer science issues in ubiquitous computing | 1993/07/01 | English | 461 |
Algorithm 447: efficient algorithms for graph manipulation | 1973/06/01 | English | 457 |
The emerging role of electronic marketplaces on the Internet | 1998/08/01 | English | 452 |
Reevaluating Amdahl's law | 1988/05/01 | English | 448 |
Crowdsourcing systems on the World-Wide Web | 2011/04/01 | English | 447 |