Sciweavers

4356 search results - page 364 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
OOPSLA
2009
Springer
16 years 1 months ago
A concurrent dynamic analysis framework for multicore hardware
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, ...
PPPJ
2009
ACM
16 years 1 months ago
Actor frameworks for the JVM platform: a comparative analysis
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
Rajesh K. Karmani, Amin Shali, Gul Agha
RTSS
2009
IEEE
16 years 1 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
ICRA
2009
IEEE
266views Robotics» more  ICRA 2009»
16 years 1 months ago
Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
Alessandro Marino, Lynne E. Parker, Gianluca Anton...
ARCS
2009
Springer
16 years 1 months ago
Evaluating CMPs and Their Memory Architecture
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
Chris R. Jesshope, Mike Lankamp, Li Zhang