Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,335,469 papers from all fields of science
Search
Sign In
Create Free Account
ACM SIGACT
Known as:
ACM SIGACT News
, SIGACT
, Special Interest Group on Algorithms and Computation Theory
Expand
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Dominating set
Gödel Prize
ICALP
Knuth Prize
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Exploring Functional Slicing in the Design of Distributed SDN Controllers
Yiyang Chang
,
Ashkan Rezaei
,
Balajee Vamanan
,
Jahangir Hasan
,
Sanjay G. Rao
,
T. Vijaykumar
International Conference on Communication Systems…
2017
Corpus ID: 33668117
The conventional approach to scaling Software-Defined Networking (SDN) controllers today is to partition switches based on…
Expand
2016
2016
A Certified Decision Procedure for Sophisticated Fractional Permissions
Le Xuan Bach
,
Aquinas Hobor
2016
Corpus ID: 15610983
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission…
Expand
2016
2016
GentleRain+: Making GentleRain Robust on Clock Anomalies
Mohammad Roohitavaf
,
S. Kulkarni
arXiv.org
2016
Corpus ID: 14972664
Causal consistency is in an intermediate consistency model that can be achieved together with high availability and high…
Expand
2011
2011
The Statistical Irrelevance of American SIGACT Data: Iraq Surge Analysis Reveals Reality
J. Thiel
,
J. Hogan
2011
Corpus ID: 29080137
Abstract : General David Petraeus brought the "Petraeus Doctrine" to the Iraqi War. His doctrine included the concepts of…
Expand
2010
2010
Complexity Results for May-Happen-in-Parallel Analysis
Jonathan K. Lee
,
J. Palsberg
,
R. Majumdar
2010
Corpus ID: 12244848
. For concurrent and parallel languages, may-happen-in-parallel (MHP) analysis is useful as a basis for tools such as data race…
Expand
2009
2009
Representing human and machine dictionaries in Markup languages
L. Lemnitzer
,
Laurent Romary
,
A. Witt
arXiv.org
2009
Corpus ID: 14981387
In this chapter we present the main issues in representing machine readable dictionaries in XML, and in particular according to…
Expand
2006
2006
Questions and Answers about Ten Formal Methods Questions and Answers about Ten Formal Methods
M. Butler
,
A. Currie
,
+4 authors
U. Ultes-Nitsche
2006
Corpus ID: 14906275
B description speci cally helps to identify the nature of the service o ered to customers from the customer viewpoint. Z…
Expand
2001
2001
The Design of TerraDir
B. Bhattacharjee
,
P. Keleher
,
Bujor D. Silaghi
2001
Corpus ID: 14354017
1997
1997
On the Foundations of Termination Analysis of Active Database Rules
J. Bailey
1997
Corpus ID: 59906959
Traditional database systems provide a mechanism for storing large amounts of data and an interface for querying and manipulating…
Expand
1973
1973
Some philosophical implications of information-theoretic computational complexity
G. Chaitin
SIGA
1973
Corpus ID: 992321
Greg Chaitin, a frequent past contributor to SIGACT News, has produced a non-technical exposition of some of the concepts and…
Expand