Research Publications
All Conference Paper - 2012 | |
| Narrow your search | 392 result(s) |
By Type By Year By Research Group
| How to apply automated verification technology such as model checking and static program analy- sis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might ... ... in saturated traffic scenarios and provides a native measure of the quality of (end-to-end) network connections. In this paper, we explore the use of probabilistic connectivity matrix as a tool to measure the quality of network connectivity. Some ... In this paper, we study the dependency between MapReduce configuration parameters and network load of fixed-size MapReduce jobs during the shuffle phase; then we propose an analytical method to model this dependency. Our approach consists of three key ... Learning Objective and Outcome: Attendees will receive an overview of recent criticisms of forensic identification; be updated on the findings of and rationale behind recent studies of expertise in fingerprint identification; and understand the ... ..., to simplify reasoning and increase its robustness against later tweaks to the program's implementation. In this short paper we introduce extensible specifications, a technique for writing specifications that allows properties to be proved at the ... ... that the implementation of any particular general-purpose kernel enforces this property is yet to be achieved. In this paper we take a significant step towards this vision by presenting a machine-checked formulation of intransitive noninterference for OS ... ... context, such as switching from a walking to a stair climbing activity gives clues about pedestrian’s current position. In this paper, we have made a first attempt in developing a performance model for such systems. For an unbiased random walk, we have... |