ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

381 results

Learning Camp
Class 11 Testing of Computational Artifacts | Computational Artifacts | Example | Learning Camp

Assallam O Alikum Students, Here's a video of Computer Science for class 11th. A complete detailed explanation has been given ...

26:11
Class 11 Testing of Computational Artifacts | Computational Artifacts | Example | Learning Camp

126 views

1 month ago

Tynker
Improving Computational Artifacts | All About Computers | Tynker

Anything made on a computer can be iterated upon; the more diverse the audience, the better! This is part of our video series ...

5:06
Improving Computational Artifacts | All About Computers | Tynker

3,355 views

2 years ago

Zain Hassan
Lecture 6 (B): Testing computational artifacts| Tracing an algorithm

Please Subscribe to my youtube channel and click bell icon so you get latest videos easily. If you have any query regarding ...

7:34
Lecture 6 (B): Testing computational artifacts| Tracing an algorithm

11,335 views

1 year ago

Harness
Software Artifacts Explained: What They Are, Why They Matter, and How to Manage Them

Software artifacts are the building blocks of modern software development. In this video, we break down what software artifacts ...

5:10
Software Artifacts Explained: What They Are, Why They Matter, and How to Manage Them

931 views

9 months ago

ACM SIGPLAN
[POPL'22] Logarithm and Program Testing

Logarithm and Program Testing Kuen-Bang Hou (Favonia) and Zhuyang Wang (University of Minnesota, USA; University of ...

23:15
[POPL'22] Logarithm and Program Testing

142 views

3 years ago

Erlang Solutions
Kovas Boguta - Machine Learning Models: A New Kind of Software Artifact

... the actual functionality implementing code and then you have another program run tests which can extract those from the artifact ...

48:11
Kovas Boguta - Machine Learning Models: A New Kind of Software Artifact

468 views

9 years ago

ACM SIGPLAN
Testing Differential Privacy with Dual Interpreters

Hi, this is Hengchu, PhD student at University of Pennsylvania. My supervisor is Benjamin Pierce. Our OOPSLA'20 paper is on ...

15:58
Testing Differential Privacy with Dual Interpreters

86 views

5 years ago

ACM SIGPLAN
[OOPSLA'25] Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of(…)

Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools (Video, OOPSLA2 2025) ...

15:15
[OOPSLA'25] Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of(…)

8 views

1 month ago

Mr. Tusch
Computing Innovation vs. Computational Artifact

So I hope that makes sense the project is about a computing innovation something that uses code and your computational artifact ...

2:15
Computing Innovation vs. Computational Artifact

1,657 views

5 years ago

orodimus prime
Computational Artifact APCSP
1:00
Computational Artifact APCSP

1,745 views

8 years ago

ACM SIGPLAN
[ICFP'22] Random Testing of a Higher-Order Blockchain Language (Experience Report)

Random Testing of a Higher-Order Blockchain Language (Experience Report) (Video, ICFP 2022) Tram Hoang, Anton Trunov, ...

18:10
[ICFP'22] Random Testing of a Higher-Order Blockchain Language (Experience Report)

280 views

3 years ago

ACM SIGPLAN
[ICFP'23] Formal Specification and Testing for Reinforcement Learning

Formal Specification and Testing for Reinforcement Learning (Video, ICFP 2023) Mahsa Varshosaz, Mohsen Ghaffari, Einar ...

28:58
[ICFP'23] Formal Specification and Testing for Reinforcement Learning

86 views

2 years ago

ACM SIGPLAN
[OOPSLA'25] Software Model Checking via Summary-Guided Search

Software Model Checking via Summary-Guided Search (Video, OOPSLA2 2025) Ruijie Fang, Zachary Kincaid, and Thomas Reps ...

16:27
[OOPSLA'25] Software Model Checking via Summary-Guided Search

8 views

1 month ago

Shelby Beck
APCS: Computational Artifact

Created using Powtoon -- Free sign up at http://www.powtoon.com/youtube/ -- Create animated videos and animated ...

0:59
APCS: Computational Artifact

46 views

7 years ago

GRIT
CPU vs GPU Speedrun Comparison 🤯

cpu #gpu #nvidia #shorts #viral #shortsfeed These guys did a speedrun comparison between a CPU and a GPU, and the results ...

0:29
CPU vs GPU Speedrun Comparison 🤯

322,196 views

1 year ago

Zain Hassan
Lecture 2: Computational Artifacts| Computational Artifacts in Software Development #computerscience

Please Subscribe to my youtube channel and click bell icon so you get latest videos easily. If you have any query regarding ...

5:19
Lecture 2: Computational Artifacts| Computational Artifacts in Software Development #computerscience

17,594 views

1 year ago

ACM SIGPLAN
[OOPSLA24] PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation(…)

PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting (Video, OOPSLA 2024) ...

19:19
[OOPSLA24] PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation(…)

17 views

9 months ago

The Beauty and Joy of Computing
[BJC.1x] Creativity Part 2 : Computational Artifacts

And now, we're going to talk about computational artifacts. So first of all, mention what computing enables people to do. And this is ...

7:24
[BJC.1x] Creativity Part 2 : Computational Artifacts

863 views

4 years ago

ACM SIGPLAN
[OOPSLA24] Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning (Video, OOPSLA 2024) Gabriel Ryan, Burcu ...

17:56
[OOPSLA24] Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

14 views

9 months ago

ACM SIGSOFT
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and... (Video, ESEC/FSE 2020)

"ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code (Video, ESEC/FSE ...

19:50
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and... (Video, ESEC/FSE 2020)

159 views

5 years ago