726 search results - page 112 / 146 » Formal Requirements Engineering: Learning from the Students |
112
click to vote
DAC
2008
ACM
16 years 24 days ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
199
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...
111
click to vote
IUI
2012
ACM
13 years 7 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
JFR
2008
14 years 11 months ago
2008
Robots are slowly finding their way into the hands of search and rescue groups. One of the robots contributing to this effort is the Inuktun VGTV-Xtreme series by American Standar...
105
click to vote
SC
2003
ACM
15 years 5 months ago
2003
ACM
The growing processor/memory performance gap causes the performance of many codes to be limited by memory accesses. If known to exist in an application, strided memory accesses fo...