1206 search results - page 226 / 242 » Concurrent Abstract Predicates |
104
Voted
IANDC
2010
15 years 1 months ago
2010
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
122
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Multiple-input and multiple-output (MIMO) technique is considered as one of the most promising emerging wireless technologies that can significantly improve transmissio...
116
click to vote
EMSOFT
2010
Springer
15 years 16 days ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
112
Voted
FPL
2010
Springer
15 years 16 days ago
2010
Springer
Abstract--Efficient storage in spatial processors is increasingly important as such devices get larger and support more concurrent operations. Unlike sequential processors that rel...
147
Voted
HIPEAC
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...