780 search results - page 89 / 156 » software 2011 |
EUROSYS
2011
ACM
14 years 3 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 ...
113
click to vote
IUI
2011
ACM
14 years 2 months ago
2011
ACM
As people accumulate hundreds of “friends” in social media, a flat list of connections becomes unmanageable. Interfaces agnostic to social structure hinder the nuanced sharin...
117
click to vote
CODES
2011
IEEE
13 years 11 months ago
2011
IEEE
Designing memory controllers for complex real-time and highperformance multi-processor systems-on-chip is challenging, since sufficient capacity and (real-time) performance must b...
110
click to vote
COMPSAC
2011
IEEE
13 years 11 months ago
2011
IEEE
—Providers of Web-based services can take advantage of many convenient features of cloud computing infrastructures, but they still have to implement request management algorithms...
169
click to vote
ECSCW
2011
13 years 11 months ago
2011
Facebook and Twitter have changed the way we consume information, allowing the people we follow to become our “social filters” and determine the content of our information stre...