A. Z. Khoury, Selection rules for nonlinear parametric interaction with structured light
Antonio Zelaquett Khoury (Universidade Federal Fluminense) Selection rules for nonlinear parametric interaction with structured light In this seminar we will ...
Центр квантовых технологий МГУ им. М.В. Ломоносова
Olympiad Geometry Problem #5: H-M Theorem
Here is a problem that used to be on math competitions many times, but it became well-known enough that it no longer is. It is very useful, hope you enjoy it!
Michael Greenberg
Sessions 5: Delay, liquidated damages and prolongation cost claims in Construction contracts
6th July 2021: Sessions 5: Delay, liquidated damages and prolongation cost claims in Construction contracts Speakers : Mr. Rohit Singhal Mr. David Brown Mr.
Masin Projects
Lock-Free to Wait-Free Simulation in Rust
In this stream, we start implementing the concurrency algorithm from the academic paper "A Practical Wait-Free Simulation for Lock-Free Data Structures" by ...
Jon Gjengset
Thinking In Parallel (Параллельное мышление)
Наш официальный сайт: http://tuladev.net Наша группа Вконтакте: http://vk.com/tuladevnet Наша группа в Facebook: http://www.facebook.com/tuladev ...
TulaDevNET
Riccardo Terrell - Actor Model in F# and Akka.Net
Writing correct concurrent, fault-tolerant, scalable applications is no simple task. The struggle is generally the result of using the wrong tools or wrong level of ...
Code on the Beach
Gordon Plotkin - Robin Milner: A Craftsman of Tools for the Mind
Robin Milner (1934 - 2010) contributed to many areas of computer science. His LCF system (Logic of Computable Functions) is at the origins of ...
The University of Edinburgh
The Soul of Erlang and Elixir • Saša Jurić • GOTO 2019
This presentation was recorded at GOTO Chicago 2019. #gotocon #gotochgo http://gotochgo.com Saša Jurić - Author of "Elixir in Action” ABSTRACT Whether ...
GOTO Conferences
Devon Estes - Comparing common concurrency patterns in Elixir and Erlang - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference ...
Code Sync
Extreme OLAP Analytics with Apache Kylin - Big Data Application Meetup
See how Apache Kylin, the leading open source project for Big Data analytics, uses OLAP to provide high performance and high concurrency, even on massive ...
Kyligence
GReTA seminar #13: "From Petri Nets to Graph Rewriting Systems"
Speaker: Andrea Corradini (Computer Science Department, University of Pisa, Italy) Abstract: Graph rewriting systems are naturally endowed with a notion of ...
GReTA Seminar
Adobe Gaming Solutions from Enrique Duvós (Flash GAMM Moscow 2012)
"Adobe Gaming Solutions" Download presentation: http://goo.gl/EIM5o Enrique Duvós (Adobe) 9 out of the top 10 Facebook games and the top iOS and Android ...
DevGAMM
Shared State in Pure FP - JVM Roundabout - October 2019
Concurrent shared state (and effects in general) are not a weakness of pure FP, they're a strength. Side effects are things that break referential transparency.
Pusher
Thinking Outside the Synchronisation Quadrant - Kevlin Henney
Ask programmers what comes to mind when you say concurrency and most are likely to say threads. Ask what comes to mind when you say threads and most ...
NDC Conferences
Reasoning 2.0 or Machine Learning and Logic - Vijay Saraswat
Our long-term research goal in Cognitive Computing Research at IBM is to develop computational assistants that know deeply, learn continuously, reason with ...
RISE SICS
Scalable Language Specification 2013
Making real-time language definitions scalable.
Microsoft Research
The Fifth HOPE (2004): Security Through Automated Binary Analysis
Friday, July 9, 2004: 11:00 am (Area "A"): Automated binary analysis techniques have become sufficiently advanced so that having the source to software is no ...
Channel2600
ICPM's Workshop on Event Data and Behavioral Analytics (EDBA) - Session 2
ICPM 2020
Thinking Outside the Synchronisation Quadrant - Kevlin Henney [ACCU 2017]
Ask programmers what comes to mind when you say concurrency and most are likely to say threads. Ask what comes to mind when you say threads and most ...
ACCU Conference
Can Parallel Computing Finally Impact Mainstream Computing?
The idea of upgrading performance and utility of computer systems by incorporating parallel processing has been around since at least the 1940s. A significant ...
Microsoft Research
Maurice Herlihy — Transactional memory
Hydra 2021 — June 15-18, Online. Learn more: https://bit.ly/39CIDQp . This talk encompasses an introduction to transactional memory along with some ...
Hydra
RAMP: Research Accelerator for Multiple Processors; Electronic system design in the post silicon era
TALK 1: The Research Accelerator for Multiple Processors (RAMP) is an affordable and versatile multiprocessor emulation platform being built as a large ...
Microsoft Research
Tick Tock, malloc Needs a Clock
The jemalloc memory allocator is well known for low fragmentation and high concurrency, yet those two strengths sabotage each other. Eager free memory ...
Association for Computing Machinery (ACM)
ZINC 2021 / ECBS 2021 - Keynote 3
Type Systems for Trustworthiness - from Mathematics to Large-Scale Systems Prof. Dr. Silvia Ghilezan (University of Novi Sad and Mathematical Institute SANU, ...
ZINC - NOT ANOTHER CONFERENCE
From Runnable and synchronized() to parallel() and atomically() (Part 1/2)
For about 15 years the Java multithreaded programming model has followed the evolution of CPUs and the growing needs of applications. Multithreaded ...
Parleys
Coupling the User-Interfaces of a Multi-User Program (CSCW '92 Video Program)
An oldie that is still probably relevant. From: Prasun Dewan, ''Coupling the User Interfaces of a Multi-User Program,'' Saul Greenberg, editor, Video Program of ...
Prasun Dewan
sizeOf en Java — parce que la taille… ça compte!
Le prix de la RAM a radicalement chuté et il n'est pas rare d'avoir un serveur avec des dizaines, voir de centaines de gigaoctets de mémoire vive.
Parleys
Retirement speech Jos Baeten
Prof. Jos Baeten served as the director of CWI from 2011-2020. In his retirement speech, prof. Baeten reflects on his career in mathematics and computer ...
CentrumWI
Lecture 8 - Pipelining - Carnegie Mellon - Computer Architecture 2013 - Onur Mutlu
Lecture 8: Pipelining Lecturer: Prof. Onur Mutlu (http://users.ece.cmu.edu/~omutlu/) Date: February 4, 2013. Lecture 8 slides (pdf): ...
Carnegie Mellon Computer Architecture
LAWS19038_5 week 5
LAWS19038_5 weeks 5 Urban planning administration and management and State development infrastructure and regional planning. This presentation is part ...
CQU Law
Executable Knowledge for Molecular Systems Biology
I will give an overview of an ongoing long-term project aimed at developing a formal yet pragmatic framework for representing and exploring the behavior of ...
Microsoft Research
ElixirConf 2018 - Using Elixir GenStage to Track Video Watch Progress - Emerson Macedo
ElixirConf
Paradigms of Computer Programming | LouvainX on edX | Course About Video
Take this course for free on edX: https://www.edx.org/course/paradigms-computer-programming-louvainx-louv1-2x-0 ↓ More info below. ↓ Follow on Facebook: ...
edX
Elasticsearch Global Search Migration To Self Managed Planning 2021-01-06
Description:https://docs.google.com/document/d/1loZAOMZMd-t1zIp80tvXgy53hf9gRATBm_ZG0Q1zBvU/edit#
GitLab Unfiltered
N. EICKER - DEEP-EST project
00:00:00 Introduction 00:02:01 Mission 00:02:31 Activities 00:04:04 Research Field Usage 00:05:42 Past: Supercomputer evolution 00:07:18 Concurrency tales ...
EoCoE CoE
Pilot Talk 4: The Challenges and Opportunities of Processing-in-Memory: A performance point of view
NSF-PIM Pilot Talk 4: Dr. Xian-He Sun Professor in Illinois Institute of Technology 00:00:00 Introduction 00:01:34 Pilot Talk4 00:22:54 Pilot Talk4: Basic Idea: ...
NSF-PIM
CS-310 Lecture 01 - Types of Scaling
Outline: 0:13 Gaps in traditional CS curriculum 3:08 What you'll learn in this class 5:19 Topics we'll cover 8:07 What you will not learn 9:45 Today's introduction ...
Steve Tarzia
Robert E. Filman: Poetry in Programs (Dan Friedman's 60th Birthday)
Robert E. Filman: Poetry in Programs--A Brief Examination of Software Aesthetics, Including some Observations on the History of Programming Styles and some ...
William Byrd
edX | LouvainX: Paradigms of Computer Programming: About Video
Paradigms of Computer Programming This course covers functional, object-oriented, and declarative dataflow programming in a unified framework. Register for ...
edX
PostgreSQL In PaxosLand - Srivathsava Rangarajan
Postgres Open
CS267 - 4/26/2012
CS267 Spring 2012.
CITRIS
Halmstad Colloquium: Neil D Jones
Neil Jones is professor emeritus with the University of Copenhagen, Denmark. Research directions follow two directions: programming languages (compiling, ...
Högskolan i Halmstad
