2446 search results - page 304 / 490 » First Smart Spaces |
118
click to vote
ICCD
2006
IEEE
16 years 29 days ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
159
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Since the large diffusion of digital camera and mobile devices with embedded camera and flashgun, the red-eyes artifacts have de-facto become a critical problem. The technique he...
126
click to vote
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
Reconfigurable high-performance computing systems (RHPC) have been attracting more and more attention over the past few years. RHPC systems are a promising solution for accelerati...
151
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
115
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
The current set of social networking platforms, e.g. Facebook and MySpace, has created a new class of Internet applications called social software. These systems focus on leveragi...