5653 search results - page 797 / 1131 » Distributed Conceptual Structures |
222
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
166
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
126
Voted
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...
184
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
The Building-Block Hypothesis appeals to the notion of problem decomposition and the assembly of solutions from sub-solutions. Accordingly, there have been many varieties of GA tes...
152
click to vote
HPCA
1996
IEEE
15 years 11 months ago
1996
IEEE
The current multiprocessors such asCray T3D support interprocessor communication using partitioned dimension-order routers (PDRs). In a PDR implementation, the routing logic and sw...