Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,906 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
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
2014
2014
DReX : A Declarative Language for Efficiently Computable Regular String Transformations Anonymized for Submission
Margus
,
Veanes
,
+5 authors
Margus Veanes
2014
Corpus ID: 44008746
We present DReX, a declarative language that can express all regular string-to-string transformations, and yet can be evaluated…
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
Review
2005
Review
2005
Logic Column 13: Reasoning Formally about Quantum Systems: An Overview
Nikolaos Papanikolaou
arXiv.org
2005
Corpus ID: 47298688
This article is intended as an introduction to the subject of quantum logic, and as a brief survey of the relevant literature…
Expand
Review
2002
Review
2002
ACM SIGACT news Distributed Computing Column 6
S. Rajsbaum
SIGA
2002
Corpus ID: 52854074
The Distributed Computing Column covers the theory of systems thatare composed of a number of interacting computing elements…
Expand
1998
1998
Analysis and applications of receptive safety properties in concurrent systems
James M. Purtilo
,
Gilberto Matos
1998
Corpus ID: 17406821
Formal verification for complex concurrent systems is a computationally intensive and, in some cases, intractable process. The…
Expand
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