Sciweavers

2209 search results - page 292 / 442
» Language Based Secure Communication
Sort
View
119
Voted
IROS
2006
IEEE
120views Robotics» more  IROS 2006»
15 years 9 months ago
Learning from Nature to Build Intelligent Autonomous Robots
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
Rainer Bischoff 0002, Volker Graefe
134
Voted
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
15 years 8 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
141
Voted
HPCC
2007
Springer
15 years 9 months ago
Towards a Complexity Model for Design and Analysis of PGAS-Based Algorithms
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
Mohamed Bakhouya, Jaafar Gaber, Tarek A. El-Ghazaw...
HASKELL
2005
ACM
15 years 9 months ago
Haskell on a shared-memory multiprocessor
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...
Tim Harris, Simon Marlow, Simon L. Peyton Jones
129
Voted
ATAL
2006
Springer
15 years 7 months ago
Belief revision for AgentSpeak agents
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...