Elan
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
- LREC
- 2010
Annotation of digital recordings in humanities research still is, to a large extend, a process that is performed manually. This… (More)
Is this relevant?
Review
2008
Review
2008
- LREC
- 2008
The Data Category Registry is one of the ISO initiatives towards the establishment of standards for Language Resource management… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
- IEEE Micro
- 2002
Outline • QsNet Architecture –Elan –Elite • Performance experiments • Summary QsNet A high speed interconnection network • Elan… (More)
Is this relevant?
2000
2000
- RTA
- 2000
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules… (More)
Is this relevant?
1999
1999
- 1999
The Needham-Schroeder public-key protocol [NS78] has been already analyzed using several methodologies from model-checkers like… (More)
Is this relevant?
1998
1998
- 1998
ELAN is a declarative language based on rewriting logic. The ELAN language is based on labelled conditional rewrite rules and on… (More)
Is this relevant?
1998
1998
- ASIAN
- 1998
Rewriting techniques are now recognized as a fundamental concept in many areas of computer science including mechanized theorem… (More)
Is this relevant?
1998
1998
- Electr. Notes Theor. Comput. Sci.
- 1998
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
- Electr. Notes Theor. Comput. Sci.
- 1996
ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
- Parallel Computing
- 1994
The architecture of the interprocessor communications subsystem in the Meiko CS-2 MPP is discussed. This utilises a 'fat tree… (More)
Is this relevant?