Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,810,736 papers from all fields of science
Search
Sign In
Create Free Account
Journal of the ACM
Known as:
Journal of the ACM (JACM)
, Journal of the Association for Computing Machinery
, J. ACM
Expand
The Journal of the ACM is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACC0
Aanderaa–Karp–Rosenberg conjecture
Baker's technique
Bentley–Ottmann algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
On Extractability (a.k.a. Differing-Inputs) Obfuscation
Elette Boyle
2014
Corpus ID: 14988930
,
2009
2009
Algorithms and Low Cost Architectures for Trace Buffer-Based Silicon Debug
S. Prabhakar
,
M. Hsiao
,
C. Wyatt
,
P. Schaumont
2009
Corpus ID: 61572905
An effective silicon debug technique uses a trace buffer to monitor and capture a portion of the circuit response during its…
Expand
Highly Cited
2009
Highly Cited
2009
Language Identification on the Web: Extending the Dictionary Method
Radim Rehurek
,
M. Kolkus
Conference on Intelligent Text Processing and…
2009
Corpus ID: 5100263
Automated language identification of written text is a well-established research domain that has received considerable attention…
Expand
2008
2008
Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems
Sanjoy Baruah
,
N. Fisher
Real-time systems
2008
Corpus ID: 15318071
Abstract The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for…
Expand
2006
2006
A More Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus ( Revised July 27 , 2007 )
Brad Lushman
,
G. Cormack
2006
Corpus ID: 602183
We present an algorithm for rank-2 type inference in the second-order λ-calculus. Our algorithm differs from the well-known…
Expand
2005
2005
Cross-layer protocols for energy-efficient wireless sensor networking
B. DeCleene
,
V. Firoiu
,
+5 authors
steve. zabele
IEEE Military Communications Conference
2005
Corpus ID: 2715445
The Army's next generation distributed sensor networks provide stand-off situational awareness for future troops. A major factor…
Expand
2003
2003
Location-based taxi service in wireless communication environment
A. P. Silva
,
G. Mateus
Annual Simulation Symposium
2003
Corpus ID: 8126022
The convergence of multiple technologies, including the Internet, wireless communications, geographic information systems…
Expand
2001
2001
A cooperative file system
F. Dabek
2001
Corpus ID: 61789894
1999
1999
Tile Transition Systems as Structured Coalgebras
A. Corradini
,
R. Heckel
,
U. Montanari
International Symposium on Fundamentals of…
1999
Corpus ID: 14451749
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and…
Expand
1995
1995
Output-sensitive construction of convex hulls
Timothy M. Chan
1995
Corpus ID: 120475045
The construction of the convex hull of a nite point set in a low-dimensional Euclidean space is a fundamental problem in…
Expand