Sciweavers

621 search results - page 91 / 125
» Applying Prolog to Develop Distributed Systems
Sort
View
ECEASST
2008
110views more  ECEASST 2008»
13 years 7 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
SIAMSC
2008
167views more  SIAMSC 2008»
13 years 7 months ago
New Finite Elements for Large-Scale Simulation of Optical Waves
We present a new method to simulate optical waves in large geometries. This method is based on newly developed finite elements, so-called Trigonometric Finite Wave Elements (TFWEs)...
Britta Heubeck, Christoph Pflaum, Gunther Steinle
SAC
2005
ACM
14 years 1 months ago
Dynamic group communication in mobile peer-to-peer environments
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
Eiko Yoneki, Jean Bacon
PPOPP
2005
ACM
14 years 1 months ago
Exposing speculative thread parallelism in SPEC2000
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
Manohar K. Prabhu, Kunle Olukotun
WSC
2007
13 years 10 months ago
Conceptual modeling of information exchange requirements based on ontological means
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
Andreas Tolk, Charles D. Turnitsa