On-line Publications
-
Vincent Bonczak and Pascal Fradet. A
formally verified circuit transformation to tolerate SEMTs.
INRIA Research Report nº 9523. 2023.
Key-words: Fault-tolerance, Triple modular
redundancy, Single-event multiple-transients, Circuit transformation,
certification, Coq.
[Abstract]
- Pascal Fradet, Alain Girault, and Alexandre Honorat. Sequential
secheduling of dataflow graphs for memory peak minimization. In
Proc. of 24th ACM SIPLAN/SIGBED
Int. Conf. on Languages, Compilers, and Tools for Embedded Systems,
LCTES'23,
pp. 76_86, 2023.
Key-words: Dataflow; Task graphs;
Memory peak; Sequential scheduling.
[
Abstract]
- Pascal Fradet, Xiaojie Guo, and Sophie Quinton. CertiCAN:
Certifying can analyses and their results. Real
Time Systems, RTS,
59(2):160-198, 2023.
Key-words: Real-Time Systems Analysis, CAN bus, Certification, Coq
Proof Assistant
[Abstract]
- Previous research
report version:
CertiCAN: Certifying CAN
analysis and their results. Research Report n° 9443, INRIA, 2021
- Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, and
Arash Shafiei. RDF: A Reconfigurable
dataflow model of computation. ACM
Transactions on Embedded Computer Systems,
TECS, Volume 22(1):
oct 2022.
Key-words: Models of computation; Synchronous
dataflow; Reconfigurable systems; Graph rewriting; Static analyses;
Boundedness; Liveness
[Abstract]
- Previous research
report version: RDF: A
Reconfigurable dataflow model of computation. INRIA Research
Report nº
9439. 2021. [Abstract]
- Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, and
Arash Shafiei. RDF: Reconfigurable dataflow. In Proc. of
Design, Automation & Test in Europe Conference & Exhibition,
DATE'19, pages 1709-1714, March 2019.
[Abstract]
- Previous research
report version: RDF: Reconfigurable
dataflow (extended version). INRIA Research Report nº 9227, 2018. [Abstract]
- Pascal Fradet, Xiaojie Guo,
Jean-Jean-François Monin, and Sophie Quinton. CertiCAN: A tool for
the Coq certification of CAN analysis results. In Proc.
of Real-Time Embedded Technology & Applications Symposium,
RTAS'19, 2019.
Key-words: Real-Time Systems
Analysis, CAN bus, Certification, Coq Proof Assistant
[
Abstract]
- Pascal Fradet, Maxime Lesourd, Jean-Jean-François Monin, and Sophie
Quinton. A generic coq proof of typical worst-case analysis. In
2018 IEEE Real-Time Systems Symposium, RTSS'18,
Paris, France, December 2018.
Key-words: Formal proofs, Weakly-hard real-time
systems, Coq, Deadline miss models.
[Abstract]
- Pascal Fradet, Xiaojie Guo, Jean-Jean-François Monin, and Sophie
Quinton. A generalized digraph model for expressing dependencies.
In Proc. of the 26th Int. Conference on Real-Time Networks and
Systems, RTNS'18,
2018.
Key-words: Real-Time Systems, Schedulability
analysis, Digraph model, Correctness proofs.
[Abstract]
- Dmitry Burlyaev, Pascal Fradet and Alain Girault. A
static analysis for the minimization of voters in fault-tolerant
circuits.
Leibniz Transactions on
Embedded Systems, LITES,
Volume 5(1):
04-1-04:
26, 2018.
Key-words: Fault-tolerance, digital circuits,
triple modular redundancy, voting, static analysis, optimization.
[Abstract]
- Xiaojie Guo, Sophie Quinton, Pascal Fradet, and Jean-Jean-François
Monin. Work In Progress: Toward a Coq-certified Tool for the
Schedulability Analysis of Tasks with Offsets. In 2017 IEEE
Real-Time Systems Symposium, RTSS'17,
pages 1-3, Paris, France, December 2017.
Key-words: Real-Time Systems Analysis, CAN bus,
Certification, Coq Proof Assistant.
[Abstract]
- Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, and
Arash Shafiei. Lossy
channels in a dataflow model of computation. In Principles of Modeling - Essays Dedicated
to Edward A. Lee on the Occasion of His 60th Birthday, pages
254266, 2018.
Key-words: Dataflow models of computation, SDF,
BPDF, reconfiguration, retransmission protocols.
[Abstract]
- Adnan Bouakaz, Pascal Fradet and Alain Girault. A Survey of Parametric Dataflow Models of
Computation. ACM Transactions on Design Automation of
Electronic Systems, TODAES,
Volume 22(2):
39:1-39:25 (2017):
38:1-38:25, 2017.
Key-words: Dataflow graphs, reconfiguration,
parameterization, static analysis.
[Abstract]
- Adnan Bouakaz, Pascal Fradet and Alain Girault. Symbolic
Analyses of Dataflow Graphs. ACM Transactions on Design Automation of
Electronic Systems, TODAES,
Volume 22(2):
39:1-39:25 (2017):
39:1-39:25, 2017.
Key-words: Synchronous dataflow graphs, as soon as possible
scheduling, buffer minimization, throughput, latency, symbolic analysis.
[Abstract]
- Previous conference version:
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of
Dataflow Graphs. In Proc.
of Real-Time Embedded Technology & Applications
Symposium, RTAS'16,
April 2016. [Abstract]
- Previous workshop
version: Symbolic
computation of latency for dataflow graphs (abstract). In Integrating
Dataflow, Embedded computing and Architecture, IDEA'16,
2016.
- Previous research
report version: Symbolic
Analysis of Dataflow Graphs (extended version). INRIA
Research Report nº 8742, January 2016.
[Abstract]
- Dmitry Burlyaev and Pascal Fradet. Formal
Verification of Automatic Circuit Transformations for Fault-Tolerance.
In Proc. of Formal Methods in
Computer-Aided Design, FMCAD'15,
September 2015.
Key-words: Fault-tolerance, time redundancy, circuit
transformation, semantics, certification, Coq.
[Abstract]
- Dmitry Burlyaev, Pascal Fradet and Alain Girault. Time-redundancy
transformations for adaptive fault-tolerant circuits. In Proc. of NASA/ESA Conference on Adaptive
Hardware and Systems, AHS'15,
June 2015.
Key-words: Fault-tolerance, single-event transient,
circuit transformation, time redundancy, dynamic redundancy.
[Abstract]
- Dmitry Burlyaev, Pascal Fradet and Alain Girault. Automatic Time-Redundancy Transformation
for Fault-Tolerant Circuits. In Proc.
of International Symposium on Field-Programmable Gate Arrays, FPGA'15,
February 2015.
Key-words: Fault-tolerance, single-event transient,
circuit transformation, time redundancy, checkpointing.
[Abstract]
- Vagelis Bebelis, Pascal Fradet and Alain Girault. A
framework to schedule parametric dataflow applications on many-core
platforms. In Proc. of the
Conference on Languages,Compilers and Tools for Embedded Systems,
LCTES'14,
June 2014.
Key-words: Dataflow programming, parametric model,
quasi-static scheduling.
[Abstract]
- Dmitry Burlyaev, Pascal Fradet and Alain Girault. Verification-guided
Voter Minimization in Triple-Modular Redundant Circuits. In Proc. of Design, Automation and Test in
Europe Conference and Exhibition, DATE'14,
2014.
Key-words: Fault-tolerance, digital circuits, triple
modular redundancy, voting, static analysis, optimization.
[Abstract]
- Vagelis Bebelis, Pascal Fradet, Alain Girault and Bruno Lavigueur. BPDF: A Statically Analyzable Dataflow
Model with Integer and Boolean Parameters. In International
Conference on Embedded Software, EMSOFT'13,
September 2013.
Key-words: Dataflow programming, parametric model,
boundedness, liveness, dynamic reconfiguration.
[Abstract]
- Research report version:
BPDF: Boolean Parametric Data Flow. INRIA
Reseach Report nº 8333,
July 2013.
[Abstract]
- Pascal Fradet, Alain Girault and Peter Poplavko. SPDF: A Schedulable Parametric DataFlow MoC.
In Proc. of Design, Automation and
Test in Europe Conference and Exhibition, DATE'12,
March 2012.
Key-words: Dataflow programming, parametric rates, static
analyses, quasi-static scheduling.
[Abstract]
- Research report (extended version): INRIA Reseach Report nº 7828, December
2011.
[Abstract]
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspects
preserving properties. In Science of Computer Programming,
SCP, vol. 77, no 3, p. 393-422, July
2012. Preprint version:
Key-words: Aspect-oriented languages, weaving, semantics,
temporal properties, proofs.
[Abstract]
- Research report version: Aspects
Preserving Properties. INRIA Reseach Report nº 7155,
December 2009. [Abstract]
- Pascal Fradet , Jean-Louis Giavitto and Marnes Hoff. Refinement
of Chemical Programs using Strategies. In International
Workshop on Strategies in Rewriting, Proving, and Programming,
IWS'10,
July 2010.
Key-words: Rule-based programming, chemical programming,
Structured Gamma, refinement.
[Abstract]
- Pascal Fradet and Stéphane Hong Tuan Ha. Aspects of
Availability: Enforcing Timed Properties to Prevent Denial of Service.
In Science of Computer Programming, SCP,
vol. 75, no 7, p. 516-542, July 2010. Preprint version: [Abstract]
Key-words: Aspect-oriented programming, resource management,
availability, verification, denial of service.
[Abstract]
- Previous conference version: Aspects of
Availability. In Proc. of the Sixth International Conference
on Generative Programming and Component Engineering, GPCE'07,
pages 165-174, Octobre 2007. [Abstract]
- Previous french journal version: Systèmes
de gestion de ressources et aspects de disponibilité. In L'Objet,
logiciel, bases de données, réseaux, Hermès/Lavoisier,
volume 12(2-3), pages 183-210, septembre, 2006. Preprint version:
[Abstract]
- Short preliminary version:
Systèmes de gestion de ressources et aspects de disponibilité. In
2ème Journée Francophone sur le Développement de Logiciels
Par Aspects, JFDLPA'05,
Lille, France, September 2005. [Abstract]
- Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Classical
Coordination Mechanisms in the Chemical Model. In From
Semantics to Computer Science: Essays in Honor of Gilles Kahn,
Cambridge University Press, pages 29-50, 2009. Preprint version:
Key-words: Chemical programming, higher-order conditional
multiset rewriting, coordination mechanisms, parallel programming
models, Petri nets, Kahn process networks.
[Abstract]
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet.
Specialized Aspect Languages Preserving Classes of Properties.
In Proc. of the Sixth IEEE International Conference on
Software Engineering and Formal Methods, SEFM'08,
November 2008.
Key-words: Aspect-oriented languages, weaving,
domain-specific languages, semantics, temporal properties, proofs.
[Abstract]
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspects
Preserving Properties. In ACM SIGPLAN Symposium on
Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08,
pages 135-145, January 2008.
Key-words: Aspect-oriented languages, weaving, semantics,
temporal properties, proofs.
[Abstract]
- Tolga Ayav, Pascal Fradet, Alain Girault. Implementing
Fault-Tolerance by Automatic Program Transformations. In ACM
Transactions on Embedded Computing Systems, TECS,
7(4), July 2008. ACM
library version. Preprint version:
Key-words: Fault-tolerance, real-time systems, heartbeating,
checkpointing, program transformations, correctness proofs.
[Abstract]
- Previous conference version: Implementing
Fault-Tolerance in Real-Time Systems by Program Transformations. In
Proc. of the Sixth ACM & IEEE International Conference on
Embedded Software, EMSOFT'06,
pages 205-214, 2006. [Abstract]
- Research report version: INRIA Reseach Report nº 5919, May 2006.
[Abstract]
- Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Goessler. Adaptor
Synthesis for Real-Time Components. In Tools and
Algorithms for the Construction and Analysis of Systems, 13th
International Conference, TACAS'07,
Lecture Notes in Computer Science, Volume 4424, pages 185-200, 2007.
Key-words: Components, real-time, assembly, adaptation, Petri
nets.
[Abstract]
- Rémi Douence and Pascal Fradet. The next 700 Krivine Machines.
In Higher-Order and Symbolic Computation, HOSC,
20(3):237-255, September 2007. Preprint version:
Key-words: Functional programming, Krivine machine, abstract
machines, program transformation, compilation, functional language
implementations.
[Abstract]
- Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Programming
Self-Organizing Systems with the Higher-Order Chemical Language.
In International Journal of Unconventional Computing, IJUC,
3(3):161-177, 2007. Preprint version:
Key-words: Chemical programming, higher-order conditional
multiset rewriting, autonomic systems, self-organization,
self-protection, self-healing, self-optimization.
[Abstract]
- Short (two- page) version:
Chemical Programming of Self-Organizing Systems, ERCIM News,
Vol. 64, Special Theme: Emergent Computing, Jan 2006 [Abstract]
Previous workshop version: Higher-order Chemical
Programming Style. In Proc. of Unconventional Programming
Paradigms, UPP'04,
pages 84--98, 2005. Springer-Verlag, LNCS, Vol. 3566. [Abstract]
- Previous conference version: Chemical
Specification of Autonomic Systems. In Proc. of the 13th
International Conference on Intelligent and Adaptive Systems and
Software Engineering, IASSE'04,
july 2004. [Abstract]
- Pascal Fradet and Ralf Lämmel (editors). Special Issue on
Foundations of Aspect-Oriented Programming. In Science
of Computer Programming, SCP,
december 2006, Elsevier. [The
special issue@sciencedirect] (guest editors' introduction )
Key-words: Aspect-oriented programming, foundations, semantics,
typing, core aspect languages
[Abstract]
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet and Didier Le
Botlan. Towards a Common Aspect Semantic Base (CASB).
Deliverable 54, EU Network of Excellence in AOSD, 2006.
Key-words: Aspect-oriented languages, AspectJ, Featherweight
Java, operational semantics.
[Abstract]
- Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Generalized
Multisets for Chemical Programming. In Mathematical
Structures in Computer Science, MSCS,
vol. 16(4), pages 557-580, 2006. Preprint version:
Key-words: Chemical programming, higher-order conditional
multiset rewriting, infinite multisets, negative multiplicities.
[Abstract]
- Research report version: INRIA Research Report nº 5743, Nov.
2005. [Abstract]
- Previous short version: A
Generalized Higher-Order Chemical Computation Model with Infinite
and Hybrid Multisets. In Proceedings of 1st International
Workshop on New Developments in Computational Models, DCM'05,
Vol. 135(3) of ENTCS, pages 3-13, March 2006, Elsevier.
[Abstract]
- Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet and Jean-Louis
Giavitto. Challenging Questions for the Rationale of Non-Classical
Programming Languages. In International Journal of
Unconventional Computing, IJUC,
2(4):337-347, 2006. Preprint version:
Key-words: Unconventional programming languages, bio-inspired,
DNA, chemical or quantum models.
[Abstract]
- Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Towards Grid
Chemical Coordination (short paper). In Proc. of the 2006 ACM
Symposium on Applied Computing, SAC'06,
pages 445-446.
Key-words: Chemical programming, coordination, grid programming.
[Abstract]
- Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Principles of
Chemical Programming. In Proc. of the 5th International
Workshop on Rule-Based Programming, RULE'04,
volume 124(1) of ENTCS, pages 133-147, June 2005. Elsevier.
Key-words: Chemical programming, higher-order conditional
multiset rewriting, chemical metaphor, formal calculi.
[Abstract]
- Previous version: Higher-order
chemistry. In Pre-Proceedings of the Workshop on Membrane
Computing, WMC'03,
july 2003. [Abstract]
- Pascal Fradet and Stéphane Hong Tuan Ha. Network Fusion. In Proc.
of Asian Symposium on Programming Languages and Systems, APLAS'04,
pages 21-40, november 2004. Springer-Verlag, LNCS, Vol. 3302.
Key-words: Aspect-oriented programming, components, Kahn process
networks, fusion, invasive composition, scheduling, synchronisation.
[Abstract]
- Rémi Douence, Pascal Fradet and Mario Südholt. Trace-Based Aspects.
In Aspect-Oriented Software Development, Mehmet Aksit, Siobhán
Clarke, Tzilla Elrad, and Robert Filman, editors, pages
201-217. Addison-Wesley, 2004.
Key-words: Aspect-oriented programming, execution traces,
interactions, security.
[Abstract]
- Rémi Douence, Pascal Fradet and Mario Südholt. Composition, reuse
and interaction analysis of stateful aspects. In Proc.of the
3rd International Conference on Aspect-Oriented Software Development,
AOSD'04, pages 141-150,
March 2004. ACM Press.
Key-words: Aspect-oriented programming, formal model, static
analysis, aspect interactions, aspect composition, reuse of aspects.
[Abstract]
- Rémi Douence, Pascal Fradet and Mario Südholt. A framework for the
detection and resolution of aspect interactions. In Proc. of
Conference on Generative Programming and Component Engineering, GPCE'02, 2002.
Springer-Verlag, LNCS, Vol. 2487.
Key-words: Aspect-oriented programming, formal model, static
analysis, aspect interactions, aspect composition.
[Abstract]
- Research report version: INRIA
Research Report nº 4435, Avril 2002.
- Jean-Pierre Banâtre, Pascal Fradet, and Daniel Le Métayer. Gamma
and the chemical reaction model: fifteen years after. In Multiset
Processing. Springer-Verlag, LNCS, Vol. 2235, 2001.
Key-words: Chemical programming, survey, applications.
[Abstract]
- Pascal Fradet. Approches langages pour la conception et la mise en
oeuvre de programmes. Document d'habilitation � diriger les
recherches. Université de Rennes I, 139 pages, novembre 2000.
Mots clés : Langages (fonctionnels,
impératifs, dédiés, d'aspects), compilation, transformation, typage,
analyse.
[Abstract]
- Thomas Colcombet and Pascal Fradet. Enforcing Trace Properties by
Program Transformation. In Proc. of Principles of
Programming Languages, POPL'00, ACM Press, pp. 54-66,
Boston, January 2000.
Key-words: Aspect-oriented programming, security
policies, program transformation, static analysis, dynamic enforcement.
[Abstract]
- Pascal Fradet and Julien Mallet. Compilation of a Specialized
Functional Language for Massively Parallel Computers. In
Journal of Functional Programming, JFP, 10(6), pp.
561-605, 2000.
Key-words: Skeletons, polytopes, data parallelism, cost analysis,
program transformation.
[Abstract]
- Research report version: INRIA
Research Report nº 3894, March 2000.
- Pascal Fradet, Valérie Issarny and Siegfried Rouvrais. Analyzing
non-functional properties of mobile agents. In Proc. of
Fundamental Approaches to Software Engineering, FASE'00,
LNCS, March
2000.
Key-words: Mobile agents, RPC, performance, security.
[Abstract]
- Pascal Fradet, Daniel Le Métayer and Michaël Périn. Consistency
checking for multiple view software architectures. In Proc. of
the Joint European Software Engineering Conference and Symp. on
Foundations of Software Engineering, ESEC/FSE'99,
Software Engineering Notes 24 (6) or LNCS
Vol 1687 pp. 410-428, 1999.
Key-words: Software architecture, multiple views,
consistency, UML diagrams.
[Abstract]
- Pascal Fradet and Mario Südholt. An aspect language for robust
programming. In Int. Workshop on Aspect-Oriented
Programming, ECOOP, June 1999.
Key-words: Aspect-oriented programming,
robustness, exceptions, program transformation, program analysis.
[Abstract]
- Rémi Douence and Pascal Fradet. A systematic study of functional
language implementations. In ACM Transactions on Programming
Languages and Systems, TOPLAS, 20(2), pp. 344-387, 1998. [ACM
library version]
Key-words: Compilation, optimizations, program transformation,
abstract machines, lambda-calculus, combinators.
[Abstract]
- Previous short version: Towards a Taxonomy of
Functional Language Implementations. In Proc. of 7th Int. Symp.
on Programming Languages: Implementations, Logics and Programs,
PLILP'95, LNCS
Vol. 982, pp.34-45, Utrecht, the Netherlands, 1995.
- Previous French version: Décrire et comparer
les implantations de langages fonctionnels. In Journées
francophones des langages applicatifs, JFLA'96,
Collection INRIA Didactique, pp.183-203, Val-Morin, Québec, Canada,
1996.
- Previous extended versions: A Taxonomy of
Functional Language Implementations
- Part I : Call-by-Value, INRIA Research Report
nº 2783, 1995.
- Part II : Call-by-Name, Call-by-Need and Graph
Reduction, INRIA Research Report nº 3050, 1996.
- Pascal Fradet and Daniel Le Métayer. Structured Gamma. In Science
of Computer Programming, SCP, 31(2-3), pp. 263-289, 1998.
[Elsevier
library version] Preprint version:
Key-words: Multiset rewriting, graph types, type checking,
refinement.
[Abstract]
- Research report version: Irisa
Research Report nº 989, 1996.
- Previous short version: Type Checking for a
Multiset Rewriting Language. In Proc. the LOMAPS workshop on
Analysis and Verification of Multiple-agent Languages, LOMAPS'96,
LNCS, Vol.
1192, pp. 126140, 1996.
- Pascal Fradet and Mario Südholt, Towards a Generic Framework for
Aspect-Oriented Programming. In Third AOP Workshop, ECOOP'98
Workshop Reader, LNCS,
Vol. 1543, pp. 394-397, July 1998.
Key-words: Aspect-oriented programming, program transformation,
program analysis.
[Abstract]
- Extended version: AOP: towards a generic framework
using program transformation and analysis. (6 pages)
- Pascal Fradet and Daniel Le Métayer, Shape Types In Proc.
of Principles of Programming Languages, POPL'97, ACM
Press, pp. 27-39, Paris, January 1997.
Key-words: Imperative programming, pointer data structures,
pointer manipulation, graph grammars, type checking, program robustness,
C.
[Abstract]
- Ronan Gaugne, Pascal Fradet and Daniel Le Métayer, Static
Detection of Pointer Errors: an Axiomatisation and a Checking
Algorithm. In Proc. of European Symposium on Programming, ESOP'96,
LNCS, 1996.
Key-words: Imperative programming, debugging tool, alias
analysis, Hoare's logic.
[Abstract]
- Research report version: An inference algorithm for the static verification of
pointer manipulation, Irisa Research Report nº 980,
1996.
- Pascal Fradet, Collecting More Garbage. In Proc. of ACM
Conf. on Lisp and Functional Programming, LISP'94, ACM
Press, pp. 24-33, Orlando, FL, USA, June 1994.
Key-words: Functional programming, garbage collection,
space leaks, typing, parametricity.
[Abstract]
- Pascal Fradet, Compilation of Head and Strong Reduction. In Proc.
of the 5th European Symposium on Programming, ESOP'94,
LNCS Vol 788, pp. 211-224, Edinburgh, UK, April 1994.
Key-words: Functional programming, lambda-calculus,
continuations, strong reduction, head reduction, compilation.
[Abstract]
- Research report
(extended version):
INRIA Research Report nº 2132.
- Pascal Fradet, Syntactic Detection of Single-Threading Using
Continuations. In Proc. of the 5th ACM Conference on
Functional Programming Languages and Computer Architecture, FPCA'91,
LNCS VOL. 523,
pp. 241-258, Cambridge, MA, USA, August 1991.
Key-words: Functional programming, globalization,
single-threading, in-place update, CPS conversion.
[Abstract]
- Pascal Fradet and Daniel Le Métayer. Compilation of functional
languages by program transformation. In ACM Transactions on
Programming Languages and Systems, TOPLAS, 13(1), pp.
21-51, 1991. [ACM
library version]
Key-words: Functional programming,
compilation, continuations, program transformation, lambda-calculus,
combinators.
[Abstract]
Disclaimer:
These documents are provided by the
contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a non-commercial basis. Copyright and
all rights therein are maintained by the authors and by other
copyright holders, notwithstanding that they have offered their works
here electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's copyright. These works may not be reposted without the
explicit permission of the copyright holder.