Christoph M. Wintersteiger | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Manuel Costa
5 publications
Stavros Volos
5 publications
Aleksandar Zeljic
4 publications
Philipp Ruemmer
4 publications
Sylvan Clebsch
4 publications
Matthew A. Johnson
2 publications
Ken Gordon
2 publications
Peter Backeman
1 publication
Sean T. Allen
1 publication
John Starks
1 publication

research

∙ 02/08/2023

Parma: Confidential Containers via Attested Execution Policies

Container-based technologies empower cloud tenants to develop highly por...

0 Matthew A. Johnson, et al. ∙

research

∙ 11/24/2017

Exploring Approximations for Floating-Point Arithmetic using UppSAT

We consider the problem of solving floating-point constraints obtained f...

0 Aleksandar Zeljic, et al. ∙

Success!

An error occurred