Sciweavers

6583 search results - page 440 / 1317
» Semantic Analysis Patterns
Sort
View
PVM
2007
Springer
16 years 19 days ago
Analysis of Implementation Options for MPI-2 One-Sided
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of diļ¬...
Brian Barrett, Galen M. Shipman, Andrew Lumsdaine
ER
2008
Springer
110views Database» more  ER 2008»
15 years 8 months ago
What's in a Relationship: An Ontological Analysis
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
Giancarlo Guizzardi, Gerd Wagner
CLA
2006
15 years 8 months ago
Graded LinClosure and Its Role in Relational Data Analysis
We present graded extension of the algorithm LinClosure. Graded LinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute implications. It can a...
Radim Belohlávek, Vilém Vychodil
ENTCS
2010
125views more  ENTCS 2010»
15 years 3 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
JCC
2008
195views more  JCC 2008»
15 years 6 months ago
pyVib, a computer program for the analysis of infrared and Raman optical activity
: A new program called pyVib has been developed as a tool for the analysis of Gaussian (Gaussian 03, Gaussian Inc., Pittsburgh, PA) outputs of vibrational absorption (IR), Raman as...
Mohamed Zerara