3689 search results - page 257 / 738 » A Language with Distributed Scope |
138
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
140
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
Sensor networks are being used for implementation of a large number of applications involving distributed and collaborative computation. Extensive research has focused upon design ...
162
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
170
click to vote
PPOPP
1993
ACM
15 years 8 months ago
1993
ACM
We describe computation migration,a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In cont...
148
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...