4353 search results - page 775 / 871 » Expressiveness of Process Algebras |
CISS
2010
IEEE
14 years 1 months ago
2010
IEEE
—This paper addresses optimal spectrum sensing in cognitive radio networks considering its system level cost that accounts for the local processing cost of sensing (sample collec...
150
click to vote
ACMIDC
2011
14 years 1 months ago
2011
Explicitly examining the values held by a research community provides a tool in which participants can define its culture, conduct informed research, and reflect on their design p...
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
SIGMOD
2011
ACM
14 years 21 days ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
124
click to vote
CANDC
2011
ACM
13 years 10 months ago
2011
ACM
Science-fiction and fantasy stories often contain objects never envisioned previously. Inventing gadgets like lightsabers or mythical creatures like griffins is a creative task. T...