Sciweavers

14298 search results - page 132 / 2860

» Dynamic Languages and Applications

21

ER
2009
Springer

96views Database» more ER 2009»

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

14 years 4 months ago

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

Download www.inf.ufrgs.br

Richard Dapoigny, Patrick Barlatier

claim paper

Read More »

27

AGTIVE
2007
Springer

225views Formal Methods» more AGTIVE 2007»

Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD

14 years 4 months ago

Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD

Download www.ipd.uka.de

Oliver Denninger, Tom Gelhausen, Rubino Geiß

claim paper

Read More »

18

ICALP
2007
Springer

83views Programming Languages» more ICALP 2007»

Balanced Families of Perfect Hash Functions and Their Applications

14 years 4 months ago

Balanced Families of Perfect Hash Functions and Their Applications

Download www.cs.tau.ac.il

Noga Alon, Shai Gutner

claim paper

Read More »

17

ICLP
2007
Springer

96views Automated Reasoning» more ICLP 2007»

Prosper: A Framework for Extending Prolog Applications with a Web Interface

14 years 4 months ago

Prosper: A Framework for Extending Prolog Applications with a Web Interface

Download prospear.sourceforge.net

Levente Hunyadi

claim paper

Read More »

27

IWOMP
2007
Springer

78views Programming Languages» more IWOMP 2007»

Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches

14 years 4 months ago

Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches

Download www.nas.nasa.gov

Haoqiang Jin, Barbara M. Chapman, Lei Huang

claim paper

Read More »

« Prev « First page 132 / 2860 Last » Next »