Skip to search formSkip to main contentSkip to account menu

SPIN

The SPIN Operating System is a research project implemented in the computer programming language Modula-3, and is an Open Source project. It is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Application programming interfaceIn-kernel web serverMicrokernelModula-3

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
High-Density NAND-Like Spin Transfer Torque Memory With Spin Orbit Torque Erase Operation
We present a NAND-like spintronics memory (NAND-SPIN) device for high-density non-volatile memory applications. Fast erasing and… 
Highly Cited
2014
Highly Cited
2014
Reduction and IR-drop compensations techniques for reliable neuromorphic computing systems
Neuromorphic computing system (NCS) is a promising architecture to combat the well-known memory bottleneck in Von Neumann… 
Highly Cited
2010
Highly Cited
2010
Service Research Challenges and Solutions for the Future Internet
In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important… 
Highly Cited
2008
Highly Cited
2008
A decision procedure for propositional projection temporal logic with infinite models
This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision… 
Highly Cited
2005
Highly Cited
2005
Facilitating the construction of specification pattern-based properties
Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely-used in… 
Highly Cited
2003
Highly Cited
2003
Static Guard Analysis in Timed Automata Verification
By definition Timed Automata have an infinite state-space, thus for verification purposes, an exact finite abstraction is… 
Highly Cited
2002
Highly Cited
2002
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata
Model checking is an automated technique for checking that a system satisfies a set of required properties. With explicit-state… 
Highly Cited
1992
Highly Cited
1992
State-space caching revisited
State-space caching is a verification technique for finite-state concurrent systems. It performs an exhaustive exploration of the… 
Highly Cited
1992
Highly Cited
1992
Coverage Preserving Reduction Strategies for Reachability Analysis
Highly Cited
1980
Highly Cited
1980
COOPER PAIRING IN SPIN-POLARIZED FERMI SYSTEMS
I discuss the phenomenon of Cooper pairing in strongly spin-polarized Fermi systems, such as 3He+ and D+, with particular… 
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)