Results 1  10
of
221,476
Detecting and Escaping Infinite Loops with Jolt
"... Abstract. Infinite loops can make applications unresponsive. Potential problems include lost work or output, denied access to application functionality, and a lack of responses to urgent events. We present Jolt, a novel system for dynamically detecting and escaping infinite loops. At the user’s requ ..."
Abstract

Cited by 23 (12 self)
 Add to MetaCart
Abstract. Infinite loops can make applications unresponsive. Potential problems include lost work or output, denied access to application functionality, and a lack of responses to urgent events. We present Jolt, a novel system for dynamically detecting and escaping infinite loops. At the user’s
Infinite loop space theory
 Bull. Arner. Math. Soc
"... Introduction. The notion of a generalized cohomology theory plays a central role in algebraic topology. Each such additive theory E * can be represented by a spectrum E. Here E consists of based spaces £, for /> 0 such that Ei is homeomorphic to the loop space tiEi+l of based maps ..."
Abstract

Cited by 33 (14 self)
 Add to MetaCart
Introduction. The notion of a generalized cohomology theory plays a central role in algebraic topology. Each such additive theory E * can be represented by a spectrum E. Here E consists of based spaces £, for /> 0 such that Ei is homeomorphic to the loop space tiEi+l of based maps
Infinite loop space theory revisited
 Proc. conf. alg
, 1978
"... Just over two years ago I wrote a summary of infinite loop space theory [37]. At the time, there seemed to be a lull in activity, with little immediately promising work in progress. As it turns out, there has been so much done in the interim that an update of the summary may be useful. The initial s ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Just over two years ago I wrote a summary of infinite loop space theory [37]. At the time, there seemed to be a lull in activity, with little immediately promising work in progress. As it turns out, there has been so much done in the interim that an update of the summary may be useful. The initial
The uniqueness of infinite loop space machines
"... AN INFINITE loop space machine is a functor which constructs spectra out of simpler space level data. There are many such machines known [ 14,8,151. They differ somewhat in the data they accept. Worse, they are given by such widely disparate topological constructions that it is far from obvious that ..."
Abstract

Cited by 20 (6 self)
 Add to MetaCart
AN INFINITE loop space machine is a functor which constructs spectra out of simpler space level data. There are many such machines known [ 14,8,151. They differ somewhat in the data they accept. Worse, they are given by such widely disparate topological constructions that it is far from obvious
Categories of spectra and infinite loop spaces
 Lecture Notes in Mathematics Vol. 99, SpringerVerlag
, 1969
"... I presented a calculation of H,(F;Zp) as an algebra, for odd primes p, where F = lim F(n) and F(n) is the topological monoid of homotopy equivalences of an nsphere. This computation was meant as a preliminary step towards the computation of H*(BF;Zp). Since then, I have calculated H*(BF;Zp), for a ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
on nfold and infinite loop spaces. As a result of this study, I have also been able to compute H,(2nsnx;Zp), as a Hopf algebra over the Steenrod algebra, for all connected spaces X and prime numbers p. This result, which generalizes those of Dyer and Lashof [3] and Milgram [8], yields explicit
Looper: Lightweight detection of infinite loops at runtime
 In International Conference on Automated Software Engineering
, 2009
"... When a running program becomes unresponsive, it is often impossible for a user to determine if the program is performing some useful computation or if it has entered an infinite loop. We present LOOPER, an automated technique for dynamically analyzing a running program to prove that it is nontermin ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
When a running program becomes unresponsive, it is often impossible for a user to determine if the program is performing some useful computation or if it has entered an infinite loop. We present LOOPER, an automated technique for dynamically analyzing a running program to prove that it is non
Appendix to Detecting and Escaping Infinite Loops with Jolt
"... Abstract. Infinite loops make applications unresponsive. Potential problems include lost work or output, denied access to application functionality, and a lack of responses to urgent events. We present Jolt, a novel system for dynamically detecting and escaping infinite loops. At the user’s request, ..."
Abstract
 Add to MetaCart
Abstract. Infinite loops make applications unresponsive. Potential problems include lost work or output, denied access to application functionality, and a lack of responses to urgent events. We present Jolt, a novel system for dynamically detecting and escaping infinite loops. At the user’s request
STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY
"... In this note, we describe a new a candidate for an elliptic cohomologytype spectrum based on conformal field theory. The new model is an improvement of the constructions of [4]. This model relies on a new infinite loop space machine deviced by Gomez [3]. The present model is interesting because it ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
In this note, we describe a new a candidate for an elliptic cohomologytype spectrum based on conformal field theory. The new model is an improvement of the constructions of [4]. This model relies on a new infinite loop space machine deviced by Gomez [3]. The present model is interesting because
Subalgebras of group cohomology defined by infinite loop spaces
, 2001
"... We study natural subalgebras ChE(G) of group cohomology defined in terms of infinite loop spaces E and give representation theoretic descriptions of those based on QS 0 and the JohnsonWilson theories E(n). We describe the subalgebras arising from the BrownPeterson spectra BP and as a result give a ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We study natural subalgebras ChE(G) of group cohomology defined in terms of infinite loop spaces E and give representation theoretic descriptions of those based on QS 0 and the JohnsonWilson theories E(n). We describe the subalgebras arising from the BrownPeterson spectra BP and as a result give
Rings, modules, and algebras in infinite loop space theory
 ADV. MATH
, 2004
"... We give a new construction of the algebraic Ktheory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
We give a new construction of the algebraic Ktheory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a generalization of symmetric monoidal category that precisely captures the multiplicative structure we have present at all stages of the construction. Our method
Results 1  10
of
221,476