Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Rump kernel

Known as: Anykernel, Rump, Runnable Userspace Meta Programs 
The NetBSD rump kernel is the first implementation of the "anykernel" concept where drivers either can be compiled into and/or run in the monolithic… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
In this paper, we propose a systematic method for finding impossible differentials for block cipher structures, which we call the… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
  • S. Rump
  • ISSAC
  • 2010
  • Corpus ID: 16474286
The classical mathematical proof is performed by pencil and paper. However, there are many ways in which computers may be used in… Expand
  • figure 1.1
  • figure 8.1
  • figure 8.2
  • figure 8.3
  • table 8.1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Despite that formal and informal quality aspects are of significantimportance to business process modeling, there is only little… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Abstract Female caribou subsist primarily on lichens and some senescent browse during winter when demands for fetal growth add to… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • E. Verheul
  • Journal of Cryptology
  • 2004
  • Corpus ID: 1796153
Abstract We show that finding an efficiently computable injective homomorphism from the XTR subgroup into the group of points… Expand
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper we present experimental evidence showing that Buenos Aires Spanish differs from other Spanish varieties in the… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
  • E. Kindler
  • Business Process Management
  • 2003
  • Corpus ID: 1343537
One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics… Expand
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Residual feed intake (RFI) is calculated as the difference between an animal’s actual feed intake and its expected feed intake… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Traditionally, biologists have developed indices that assess nutrition and condition of wild ungulates. However, many attempts to… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Abstract Dominance in groups of three male mice was assessed in the following ways: the observation of attack and submissive… Expand
Is this relevant?