Sciweavers

5548 search results - page 114 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
144
Voted
WSC
2001
15 years 4 months ago
Use of DaSSF in a scalable multiprocessor wireless simulation architecture
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...
Trefor J. Delve, Nathan Smith
142
Voted
CONCUR
2012
Springer
13 years 5 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
119
Voted
RTAS
2007
IEEE
15 years 9 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
149
Voted
ASPLOS
2004
ACM
15 years 8 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
101
Voted
ICPPW
1999
IEEE
15 years 7 months ago
Design and Development of a Cooperative Shopping System with Shared Discussion Space
At current on-line shops, buyers almost independently enjoy shopping without anyone's help. However, there are many cases where they cooperate with people such as personal ad...
Takayuki Umeda, Hiroyuki Tarumi, Yahiko Kambayashi