Welcome to Penn State's Home on the Web

Psu.edu has 761 URLs listed in 496 Dmoz categories.

Ada95 and Safety Critical Software
Ada standard Iso Iec.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3112
Top/Computers/Programming/Languages/Ada/Articles

Augmenting Ada95 with Additional Real Time Features
The purpose of this paper is to present several additions to Ada which improve real time properties of the language.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.7730
Top/Computers/Programming/Languages/Ada/Articles

Beyond Ada95
The Addition of Persistence and its Consequences.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.3399
Top/Computers/Programming/Languages/Ada/Articles

Programming the Internet in Ada 95
Article by S. Tucker Taft (submitted to Ada Europe '96).
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.8231
Top/Computers/Programming/Languages/Ada/Web

Eli specification of ALGOL 60
from which an analyzer for ALGOL 60 can be generated.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.8231
Top/Computers/Programming/Languages/Algol_60

The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra
Presents a unified approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8293
Top/Computers/Programming/Languages/C++/Class_Libraries/STL

ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.1523
Top/Computers/Programming/Languages/Constraint

Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet
ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding su
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6287
Top/Computers/Programming/Languages/Constraint

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4042
Top/Computers/Programming/Languages/Constraint

ResearchIndex: Coarse-Grain Dataflow Programming of Conventional Parallel Computers
Granular Lucid, GLU: coarse-grain dataflow language for programming conventional parallel computers; based on Lucid (circa 1994) an implicitly parallel, multidimensional dataflow language. A GLU program is a Lucid program with imperatively defined data f
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.595
Top/Computers/Programming/Languages/Dataflow