Struct (C programming language)

A struct in the C programming language (and many derivatives) is a complex data type declaration that defines a physically grouped list of variables… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Bliek, J. Cell Biol. 143, 351 (1998). 21. A. M. Labrousse, M. D. Zappaterra, D. A. Rube, A. M. van der Bliek, Mol. Cell 4, 815… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
  • A. Smitha, Andy Stirlinga, Frans Berkhouta
  • 2005
A quasi-evolutionary model of socio-technical transitions is described in which regimes face selection pressures continuously… (More)
  • table 1
  • table 2
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A result of Johnson and Lindenstrauss [13] shows that a set of n points in high dimensional Euclidean space can be mapped into an… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Recently, Barabási and Albert [2] suggested modeling complex real-world networks such as the worldwide web as follows: consider a… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Methods for efficient mining of frequent patterns have been studied extensively by many researchers. However, the previously… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The NP-hard graph bisection problem is to partition the nodes of an undirected graph into two equal-sized groups so as to… (More)
  • table 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We propose a differential equation model for gene expression and provide two methods to construct the model from a set of… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
No single wireless network technology simultaneously provides a low latency, high bandwidth, wide area data service to a large… (More)
  • table 8
  • table 7
  • table 4
  • table 6
  • figure 5
Is this relevant?