2174 search results - page 334 / 435 » Efficient Testing of Forecasts |
157
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
116
click to vote
ENTER
2008
Springer
15 years 4 months ago
2008
Springer
Recommender systems (RS) are employed to personalize user interaction with (e.g. tourism) web-sites, supporting both navigation through large service assortments and the configura...
106
Voted
ETRA
2008
ACM
15 years 4 months ago
2008
ACM
Nowadays various are the situations in which people need to interact with a Personal Computer without having the possibility to use traditional pointing devices, such as a keyboar...
142
Voted
IESA
2007
15 years 4 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
FPL
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...