Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,156,036 papers from all fields of science
Search
Sign In
Create Free Account
ACM Software System Award
Known as:
ACM Software Systems Award
, Software System Award
The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
ACL2
Bob Frankston
Coq (software)
Eclipse
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017
International Workshop on the ACL2 Theorem Prover…
2017
Corpus ID: 264959647
2015
2015
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015
International Workshop on the ACL2 Theorem Prover…
2015
Corpus ID: 264720276
2014
2014
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014
International Workshop on the ACL2 Theorem Prover…
2014
Corpus ID: 260851164
2014
2014
The house elves of ACM
V. Cerf
CACM
2014
Corpus ID: 26397126
JUNE 2014 | VOL. 57 | NO. 6 | COMMUNICATIONS OF THE ACM 7 T H I S I S M Y last column as President of ACM. It has been an honor…
Expand
2011
2011
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011
International Workshop on the ACL2 Theorem Prover…
2011
Corpus ID: 35193730
2010
2010
The work of ACM's awards committee
C. Gotlieb
,
J. Horning
CACM
2010
Corpus ID: 39020500
acm awards committee ACM established its first award—the A.M. Turing Award—in 1966. This honor is given annually to an individual…
Expand
2008
2008
ACM annual report for FY07
S. Feldman
CACM
2008
Corpus ID: 27858439
A dried infused celery which has extended storage stability and which upon rehydration possesses the taste, color, texture and…
Expand
2006
2006
2006 ACM Elections
Cacm Staff
CACM
2006
Corpus ID: 44926243
BIOGRAPHY ■ Stu Feldman is Vice President for Computer Science Research at IBM. He is expanding long term and exploratory…
Expand
2001
2001
Data mining avec R dans un monde libre
Reinhard Furrer
,
D. Kuonen
2001
Corpus ID: 127717966
R est un langage et un environnement pour les calculs statistiques et leurs représentations graphiques. R est similaire au syst…
Expand
2000
2000
Select an existing standard rather than define a new business process
J. Ousterhout
2000
Corpus ID: 17225339
B y now, the high expectations for business-to-business (B2B) applications have become familiar. Analysts have projected…
Expand