1206 search results - page 226 / 242 » Concurrent Abstract Predicates |
102
Voted
IANDC
2010
15 years 29 days 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 27 days 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 13 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...
110
click to vote
FPL
2010
Springer
15 years 13 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...
146
Voted
HIPEAC
2010
Springer
15 years 12 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 ...