3792 search results - page 727 / 759 » Techniques for Trusted Software Engineering |
89
Voted
CHI
2007
ACM
16 years 25 days ago
2007
ACM
The idea of conducting usability tests remotely emerged ten years ago. Since then, it has been studied empirically, and some software organizations employ remote methods. Yet ther...
214
Voted
POPL
2008
ACM
16 years 22 days ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
239
Voted
POPL
2006
ACM
16 years 22 days ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
221
Voted
POPL
2003
ACM
16 years 22 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
79
Voted
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...