1227 search results - page 163 / 246 » A Programming Model for Time-Synchronized Distributed Real-T... |
147
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
146
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
118
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
159
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
143
click to vote
APCSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...