4600 search results - page 576 / 920 » Presentation Of The Eurolang Project |
186
Voted
PC
2010
15 years 5 months ago
2010
The graphics processing unit (GPU) is used to solve large linear systems derived from partial differential equations. The differential equations studied are strongly convection-...
182
click to vote
PERSUASIVE
2010
Springer
15 years 5 months ago
2010
Springer
The primary challenge for information terminals, kiosks, and incidental use systems of all sorts, is that of getting the “first click” from busy passersby. This paper presents ...
193
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Diversity of skills is good for society, it is also good in problem solving because different people see a problem from several perspectives, so diversity should be good for softw...
172
click to vote
TKDE
2010
15 years 5 months ago
2010
—Duplicates in data streams may often be observed by the projection on a subspace and/or multiple recordings of objects. Without the uniqueness assumption on observed data elemen...
181
Voted
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...