1088 search results - page 150 / 218 » Tools for support of automata-based programming |
140
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
156
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
182
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
159
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...
161
click to vote
TEI
2012
ACM
13 years 12 months ago
2012
ACM
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...