Sciweavers

2550 search results - page 48 / 510
» The Meaning of Open Standards
Sort
View
CPHYSICS
2004
73views more  CPHYSICS 2004»
13 years 8 months ago
dxhdf5: A software package for importing HDF5 physics data into OpenDX
A software package, dxhdf5, for importing HDF5 data into OpenDX is discussed. HDF5 is a hierarchical, self-describing data format that is rapidly becoming a standard for storing l...
Ireneusz Szczesniak, John R. Cary
TPHOL
2002
IEEE
14 years 1 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
AISC
2010
Springer
14 years 1 months ago
An OpenMath Content Dictionary for Tensor Concepts
We introduce a new OpenMath content dictionary named “tensor1” containing symbols for the expression of tensor formulas. These symbols support the expression of non-Cartesian ...
Joseph B. Collins
HT
1997
ACM
14 years 21 days ago
An Architectural Model for Application Integration in Open Hypermedia Environments
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...
E. James Whitehead Jr.
IJPP
2007
92views more  IJPP 2007»
13 years 8 months ago
Supporting Nested OpenMP Parallelism in the TAU Performance System
Nested OpenMP parallelism allows an application to spawn teams of nested threads. This hierarchical nature of thread creation and usage poses problems for performance measurement t...
Alan Morris, Allen D. Malony, Sameer Shende