Sciweavers

3584 search results - page 377 / 717
» Parallel Computing of Thermoelasticity Problems
Sort
View
131
Voted
COORDINATION
2008
Springer
15 years 5 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
140
Voted
COORDINATION
2008
Springer
15 years 5 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
238
Voted
DCOSS
2008
Springer
15 years 5 months ago
Energy Efficient Sleep Scheduling in Sensor Networks for Multiple Target Tracking
This paper presents an energy-aware, sleep scheduling algorithm called SSMTT to support multiple target tracking sensor networks. SSMTT leverages the awakening result of interferi...
Bo Jiang, Binoy Ravindran, Hyeonjoong Cho
131
Voted
AIA
2007
15 years 5 months ago
Embedded harmonic control for dynamic trajectory planning on FPGA
This paper presents a parallel hardware implementation of a well-known navigation control method on reconfigurable digital circuits. Trajectories are estimated after an iterated ...
Bernard Girau, Amine M. Boumaza
122
Voted
AAAI
2006
15 years 5 months ago
Conflict Resolution and a Framework for Collaborative Interactive Evolution
Interactive evolutionary computation (IEC) has proven useful in a variety of applications by combining the subjective evaluation of a user with the massive parallel search power o...
Sean R. Szumlanski, Annie S. Wu, Charles E. Hughes