2419 search results - page 466 / 484 » A Formal Approach to Software Testing |
CHI
2008
ACM
14 years 8 months ago
2008
ACM
We evaluate two systems for automatically generating personalized interfaces adapted to the individual motor capabilities of users with motor impairments. The first system, SUPPLE...
RECOMB
2007
Springer
14 years 8 months ago
2007
Springer
In the past decade, genome rearrangements have attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. Methods ...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
—Current trends in desktop processor design have been toward many-core solutions with increased parallelism. As the number of supported threads grows in these processors, it may ...
VEE
2009
ACM
14 years 2 months ago
2009
ACM
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...