3837 search results - page 599 / 768 » Concurrent Engineering support in Software Engineering |
120
Voted
EUROSYS
2011
ACM
14 years 6 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 ...
139
Voted
IUI
2011
ACM
14 years 5 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...
122
Voted
ECSCW
2011
14 years 2 months ago
2011
Cooperation and collaboration are generally an inherent part of everyday practice, and particularly among nurses. However, the technologies that support these practices are still i...
118
Voted
PAMI
2012
13 years 5 months ago
2012
—The restoration of a blurry or noisy image is commonly performed with a MAP estimator, which maximizes a posterior probability to reconstruct a clean image from a degraded image...
126
Voted
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...