The system is based on a microkernel named the "Ghost Kernel" and features symmetric multi-processing and multitasking.

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
- ICFP
- 2016

The development of concurrent separation logic (CSL) has sparked a long line of work on modular verification of sophisticatedâ€¦Â (More)

Is this relevant?

Highly Cited

2014

Highly Cited

2014

- John Criswell, Nathan Dautenhahn, Vikram S. Adve
- ASPLOS
- 2014

Applications that process sensitive data can be carefully designed and validated to be difficult to attack, but they are usuallyâ€¦Â (More)

Is this relevant?

Highly Cited

2012

Highly Cited

2012

- Hagit Schechter, Robert Bridson
- ACM Trans. Graph.
- 2012

We propose a new ghost fluid approach for free surface and solid boundary conditions in Smoothed Particle Hydrodynamics (SPHâ€¦Â (More)

Is this relevant?

2009

2009

- Michael Nelson, Ani Nahapetian, Farinaz Koushanfar, Miodrag Potkonjak
- Information Hiding
- 2009

Ghost circuitry (GC) insertion is the malicious addition of hardware in the specification and/or implementation of an IC by anâ€¦Â (More)

Is this relevant?

2008

2008

- Maria Gorelik
- 2008

We define a notion of ghost centre of a Lie superalgebra g = g0 âŠ• g1 which is a sum of invariants with respect to the usualâ€¦Â (More)

Is this relevant?

2007

2007

- Martin Hofmann, Mariela Pavlova
- TGC
- 2007

Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They areâ€¦Â (More)

Is this relevant?

2002

2002

We introduce the notion of a ghost characteristic for nonlocal differential equations. Ghosts are essential for maintaining theâ€¦Â (More)

Is this relevant?

2002

2002

- Iuliana Eva, A. A. Giryavets, Anton Koshelev
- 2002

Neveu-Schwarz ghost slivers in pictures zero and minus one are constructed. In particular, using algebraic methods Î², Î³ ghostâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Davide Gaiotto, Leonardo Rastelli, Ashoke Sen, Barton Zwiebach
- 2001

We complete the construction of vacuum string field theory by proposing a canonical choice of ghost kinetic term â€“ a localâ€¦Â (More)

Is this relevant?

1980

1980

- Shinichi Makino, Junzo Murakami, Masaru Sakurai, Shunichi Ohnishi, Masaru Obara
- IEEE Transactions on Consumer Electronics
- 1980

Ghost is one of the most serious problems in TV reception. Ghost reduction is highly desirable, and some automatic deghostingâ€¦Â (More)

Is this relevant?