15777 search results - page 3126 / 3156 » Engineering in Software |
CACM
2011
13 years 1 months ago
2011
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
ESWA
2011
13 years 1 months ago
2011
This interdisciplinary research project focuses on relevant applications of Knowledge Discovery and Artificial Neural Networks in order to identify and analyse levels of country, b...
MOBISYS
2011
ACM
13 years 21 days ago
2011
ACM
Modern smartphone operating systems support the development of third-party applications with open system APIs. In addition to an open API, the Android operating system also provid...
PLDI
2011
ACM
13 years 21 days ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
POPL
2011
ACM
13 years 21 days ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...