6293 search results - page 1176 / 1259 » Information Flow Testing |
115
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
The ECHOES project (Encouraging Companionship, Home Organization, and Entertainment in Seniors), is focused on understanding and improving aspects of companionship in senior popul...
114
Voted
HPCA
2007
IEEE
16 years 2 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...
116
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Users of modern GUIs routinely engage in visual searches for various control items, such as buttons and icons. Because this is so ubiquitous, it is important that the visual prope...
120
Voted
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
In [13] we reported the genome sequences of S. paradoxus, S. mikatae and S. bayanus and compared these three yeast species to their close relative, S. cerevisiae. Genome-wide comp...
109
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...