Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,649,969 papers from all fields of science
Search
Sign In
Create Free Account
State Threads
Known as:
ST
The State Threads library is a small application library which provides a foundation for writing fast and highly scalable Internet applications (such…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Application programming interface
Library (computing)
Netscape Portable Runtime
POSIX Threads
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Concolic Unbounded-Thread Reachability via Loop Summaries
Peizun Liu
,
T. Wahl
IEEE International Conference on Formal…
2016
Corpus ID: 27335286
We present a method for accelerating explicit-state backward search algorithms for systems of arbitrarily many finite-state…
Expand
2015
2015
Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report)
Peizun Liu
,
T. Wahl
arXiv.org
2015
Corpus ID: 1115223
We present an approach to parameterized reachability for communicating finite-state threads that formulates the analysis as a…
Expand
2014
2014
Context-Bounded Analysis of TSO Systems
M. Atig
,
A. Bouajjani
,
G. Parlato
FPS@ETAPS
2014
Corpus ID: 15192555
We address the state reachability problem in concurrent programs running over the TSO weak memory model. This problem has been…
Expand
2009
2009
Using CSP to Model and Analyze TinyOS Applications
Allan I. McInnes
European Conference on the Engineering of…
2009
Corpus ID: 18831892
The TinyOS concurrency model, although easier to reason about than shared-state threads, may still produce undesirable behavior…
Expand
2006
2006
Preventing lost messages in event-driven programming
Jeffrey M. Fischer
,
R. Majumdar
,
T. Millstein
2006
Corpus ID: 61605668
The event-driven programming style is pervasive as an effi- cient method for interacting with the environment. Unfortunately, the…
Expand
2004
2004
Un modelo de threads reactivos usuario-kernel para Java
Carlos Pineda
,
Jordi Garcia Almiñana
,
J. H. Flores
2004
Corpus ID: 60383155
En este trabajo se presenta un modelo de threads usuario-kernel para Java, eficiente, altamente escalable, y orientado a la…
Expand
2003
2003
Un modelo de threads reactivos usuario-kernel para aplicaciones Internet de alto desempeño
Carlos Pineda
,
Hugo Coyote
,
Jordi Garcia Almiñana
2003
Corpus ID: 190066815
En este trabajo se presenta un modelo de threads usuario-kernel de proposito general, eficiente, altamente escalable, y orientado…
Expand
Highly Cited
2002
Highly Cited
2002
Monads for incremental computing
M. Carlsson
ACM SIGPLAN International Conference on…
2002
Corpus ID: 15675653
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A…
Expand
1998
1998
Concurrencia tradicional en programación funcional
P. Mocciola
1998
Corpus ID: 57769696
1994
1994
Lazy Functional State Threads: an abstract
Pascal Van Hentenryck
1994
Corpus ID: 63165424
Some algorithms make critical internal use of updatable state, even though their external specification is purely functional…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE