Sciweavers

1721 search results - page 256 / 345
» The fundamentals of hybrid systems modelers
Sort
View
EUROPAR
1995
Springer
14 years 1 months ago
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Manuel V. Hermenegildo, Manuel Carro
ENTCS
2008
105views more  ENTCS 2008»
13 years 10 months ago
Development of a Modelica Compiler Using JastAdd
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
Johan Åkesson, Torbjörn Ekman, Gör...
CAD
2006
Springer
13 years 10 months ago
Towards mass customized interoperability
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Udo Kannengiesser, John S. Gero
ENTCS
2002
112views more  ENTCS 2002»
13 years 9 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
ICUMT
2009
13 years 7 months ago
An efficient solution for max-min fair rate allocation in P2P simulation
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...
Anh Tuan Nguyen, Frank Eliassen