940 search results - page 164 / 188 » Local rely-guarantee reasoning |
109
click to vote
JEC
2006
14 years 9 months ago
2006
During the last two decades, Single Instruction Multiple Data (SIMD) processors have become important architectures in embedded systems for image processing applications. The main ...
LOGCOM
2008
14 years 9 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
MICRO
2007
IEEE
14 years 9 months ago
2007
IEEE
y abstract, it is grounded in the experience of many markets. As I will illustrate, it explains much strategic behavior. Information spreads With a bit of effort, any technically s...
106
click to vote
WICOMM
2010
14 years 8 months ago
2010
Cognitive radio (CR) has been considered a key technology to enhance overall spectrum utilization by opportunistic transmissions in CR transmitter-receiver link(s). However, CRs m...
187
click to vote
GIS
2005
ACM
15 years 10 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...