Avalon

Known as: Avalon (Japanese film), Avalon (disambiguation) 
Avalon (アヴァロン Avaron), also known as Gate to Avalon, is a 2001 Japanese-Polish science fiction drama film directed by Mamoru Oshii and written by… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
GlaxoSmithKline (GSK) of London has teamed up with San Diego–based Avalon Ventures to establish up to ten early-stage life… (More)
Is this relevant?
2007
2007
Motivated by the increasing IP (intellectual property) based SoC (system-on-chips), designers have begun using an IP based SoC… (More)
  • table 1
  • figure 2
Is this relevant?
2007
2007
In this paper we present a new hardware design pattern for improving memory transfers to external dynamic memory in Altera's SOPC… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2001
2001
Considerable debate surrounds the Late Neoproterozoic paleogeographic position of the Avalon terrane, specifically whether it was… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
1998
1998
As an entry for the 1998 Gordon Bell price/performance prize, we present two calculations from the disciplines of condensed… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
1989
1989
Proving the correctness of programs by hand is hard and error-prone. How can mechanical theorem proving aids such as the Larch… (More)
  • table 1
  • table 3
  • table 4
  • table 5
Is this relevant?
Review
1988
Review
1988
The authors describe their experience adapting inheritance mechanisms to a new application domain, reliable distributed systems… (More)
  • figure 14
  • figure 15
  • figure 16
  • figure 22
Is this relevant?
1988
1988
Avalon/C++ is a programming language that supports the construction of reliable programs consisting of a set of servers… (More)
Is this relevant?
Review
1986
Review
1986
Avalon is a set of linguistic constructs designed to give programmers explicit control over transactionbased processing of atomic… (More)
Is this relevant?