Highly Influential Citations2
Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual researchers to… Continue Reading
Two requirements specifications were analyzed using three requirements analysis tools: a reconstruction of NASA's ARM tool, TIGER Pro 2.0, and a new tool. The new tool being beta-tested reported many… Continue Reading
Compression is an emerging source of exploitable side-channel leakage that threatens data security, particularly in web applications where compression is indispensable for performance reasons.… Continue Reading
University of Minnesota M.S. thesis. July 2017. Major: Computer Science. Advisor: Peter Peterson. 1 computer file (PDF); vi, 81 pages.
An exploratory experiment found that sorting arrays of random integers using Java 8's parallel sort required only 50%-70% of the time taken using the parallel sort of the Parallel Colt library.… Continue Reading
In order to meet the medical neuroscience laboratory educational needs in a revised and condensed curriculum, an HTML5 interactive neuroanatomical learning tool is being developed and tested for us...
Flash Crowd Attacks (FCAs) are DDoS attacks that flood victim services, such as Web servers, with well-formed requests, generated by numerous bots. It is hard to detect and filter such attacks… Continue Reading
As deep neural networks are increasingly being deployed in practice, their efficiency has become an important issue. While there are compression techniques for reducing the network's size, energy… Continue Reading