21.06.16 1:30:44 Workshop on Quantum Algorithms and Devices - Part 2
10:50AM – 11:30AMUsing Cat States in a Microwave Cavity for Quantum Information Rob Schoelkopf (Yale University) Abstract: Dramatic progress has been made in the last decade and a half towards
1 408
25.7
21.06.16 1:04:21 Practical Partial Packet Recovery for 802.11: Maranello
Phased array signal processing has long been employed outdoors in radar, underwater in sonar, and underground in seismic monitoring.
135
21.06.16 53:26 The WW Web of Invisible Trackers
Internet advertisers reach millions of consumers through practices that involve real time tracking of users’ online activities.
221
21.06.16 1:12:44 Lazy Transaction Execution Models
Database transactions are an abstraction that allows programs to read and modify a database concurrently, yet consistently.
48
21.06.16 39:04 A Cloud TPM for Cross-Device Trusted Applications
Current Trusted Platform Modules (TPMs) are ill-suited for cross-device scenarios in trusted mobile applications because they hinder the seamless sharing of data across multiple devices.
316
14.7
21.06.16 43:13 The Peril of Fragmentation: Security Hazards in Android Device Driver Customizations
Apparently, Android phone manufacturers are under the perpetual pressure to move quickly on their new models, continuously customizing Android to fit their hardware.
99
21.06.16 1:11:18 The Complexity of Quantum Entanglement
Quantum mechanics predicts the existence of correlations among two or more quantum systems that cannot be described merely by shared randomness.
1 031
34
21.06.16 51:47 Computational tools for biodiversity conservation.
We live in the middle of two unprecedented ages.
269
21.06.16 1:27:17 Towards Scalable Quantum Computation
Three decades have passed since Richard Feynman first proposed devising a “quantum computer” founded on the laws of quantum physics to achieve computational speed-ups over classical methods.
1 908
48.5
21.06.16 1:01:53 Designing Controller Abstractions for Software-Defined Networks
Today's networks apply many different, yet often overlapping, pieces of control logic to packetized network traffic.
164
21.06.16 1:01:04 Concurrency Testing Using Schedule Bounding: an Empirical Study
We present the first independent empirical study on schedule bounding techniques for systematic concurrency testing (SCT).
189
21.06.16 1:08:38 Growing up: How Big Data Processing can Cope with Limited Bandwidth and Complex Code
We are now entering an era in which organizations collect and process unprecedented data volumes. This "big data" is handled using large-scale distributed systems of unprecedented scale.
29
21.06.16 1:24:48 Specialized Computing in the Cloud
The slowing and eventual ending of Moore’s Law will dramatically impact datacenter operators, who have long depended on steady advances in server performance and efficiency to make improved services
280
21.06.16 1:00:06 Cooperative Testing and Analysis via Informed Decision Making
Tool automation to reduce manual efforts is important in software testing and analysis for improving software quality.
39
21.06.16 1:24:50 The Electric Sheep Software Artwork
The Electric Sheep is an infinite animation created by the collective intelligence of 450,000 computers and people.
1 013
14.3
21.06.16 1:29:50 From Exceptional to Everyone - Microsoft's Efforts to Democratize Blended Learning
The promise of technology in learning has been long in coming.
80
21.06.16 1:03:55 On-the-fly garbage collection: issues and Opportunities
The MirrorGC project is building on-the-fly, concurrent, copying garbage collectors. This work has exposed a number of issues and opportunities.
136
21.06.16 1:41:54 Seven Years of Programming Radio
Software radio is one of the most existing technologies in last decade. Being fully flexible and programmable, software radio has been widely used in research, education, instruments and measurement.
50
21.06.16 1:06:32 OpenNF: Enabling Innovation in Network Function Control
The benefits of using software network functions (NFs), also called middleboxes, and software-defined networking (SDN) together is greater than the sum of parts.
460
38
21.06.16 1:02:48 Redesign System Software for Heterogeneous Mobile Devices
The computer industry has hit the power and thermal wall. This is most obvious in mobile devices due to their tight thermal and battery constraints.
76
21.06.16 1:04:13 MIMO and Dynamic Spectrum Access - A System Builder Perspective - Part 2
Spinal codes (ACM SIGCOMM 2012) are a new class of rateless codes that enable wireless ?networks to cope with time-varying channel conditions in a natural way, without requiring any explicit bit
60
21.06.16 1:11:53 Going Beyond Scalability to Build Resource-Efficient Data Center Networked Systems
It is now common for individual applications such as search engines and social networks to serve a billion users.
63
21.06.16 1:10:57 Inaugural CSCW Lasting Impact Award
In 1988, at the second Computer Supported Cooperative Work conference, I presented a paper discussing why software designed to support groups was generally failing.
117
21.06.16 55:45 Automatic Performance modelling of Multithreaded Java Programs
Performance of the software system depends on various factors, such as the properties of the underlying hardware, characteristics of the system's workload, and configuration options of the program
93
21.06.16 1:22:59 You Really Can Have It All
In 1996 Cincinnati Country Day School was the first school in the United States to go 1:1 in grades 5-12. Robert Baker will share his insight, experience and implementation strategy.
108
21.06.16 1:07:04 Automated Performance Analysis
In this talk I will present two ongoing research projects: First, I will discuss a simple and scalable static analysis for resource bound and amortized complexity analysis.
217
21.06.16 1:27:12 And how does that make you feel?
Confused and frustrated by your difficult programming task? Let's have your IDE intervene before you get the chance to cause a bug in the software. Bored by your rote assignment?
286
21.06.16 1:33:57 The Coming Genomics Software Revolution
A hardware revolution has slashed the cost of sequencing by over a million-fold in a few years, far faster than Moore’s law, opening great opportunities for software to revolutionize healthcare.
1 083
22.2
21.06.16 51:55 Local Temporal Reasoning
I will discuss our recent development of the first method for proving temporal logic properties of programs written in higher-order languages such as C#, F#, Haskell, Ocaml, Perl, Ruby, Python, etc.
223
21.06.16 1:05:14 Software Defined Transport
Abstract: Cloud network infrastructures, such as datacenter and inter-datacenter networks, are increasingly expected to provide vital support for cloud applications such as online services, big data
52