Search Results

41

CETS: Compiler-Enforced Temporal Safety for C

by Nagarakatte, Santosh, Martin, Milo, Zhao, Jianzhou, Zdancewic, Stephan A
Published 2010

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

42

Dependent types and Program Equivalence

by Jia, Limin, Zhao, Jianzhou, Sjoberg, Vilhelm, Weirich, Stephanie
Published 2010

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

43

Binders Unbound

by Weirich, Stephanie, Yorgey, Brent A, Sheard, Tim
Published 2011

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

44

MRI: Acquisition of a High Performance Cluster for the University of Maine Scientific Grid Portal

by Dickens, Phillip M., Zhu, Yifeng, Segee, Bruce E., Fastook, James L., Chawathe, Sudarshan S.
Published 2009

Subjects: “...Computer Sciences...”
Get access
Get access

Text

45

Verification, Validation, and Solution Quality in Computational Physics: CFD Methods Applied to Ice Sheet Physics

by Thompson, David E.
Published 2005

Subjects: “...Mathematical and Computer Sciences (General)...”
Get access

Other/Unknown Material

46

Educating Innovators of Future Internet of Things

by Osipov, Evgeny, Riliskis, Laurynas
Published in 2013 IEEE Frontiers in Education Conference (FIE) (2013)

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

47

A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics

by Feiertag, Nico, Richter, Kai, Nordlander, Johan, Jonsson, Jan
Published 2009

Subjects: “...Computer Sciences...”
Get access

Conference Object

48

Fourth ERCIM workshop on e-mobility

Published 2010

Subjects: “...Computer Sciences...”
Get access

Conference Object

49

Coexistence of Cloud Technology and IT Infrastructure in Higher Education

by Riliskis, Laurynas, Osipov, Evgeny
Published in 2013 IEEE Frontiers in Education Conference (FIE) (2013)

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

50

Curve and surface fitting to measured data with a B-spline approach

by Berglund, Tomas, Greppe, Anders, Thorén, Johan, Papp, John
Published 1999

Subjects: “...Computer Sciences...”
Get access

Report

51

ORCA: Ordering-free Regions for Consistency and Atomicity

by DeLozier, Christian, Peng, Yuanfeng, Eizenberg, Ariel, Lucia, Brandon, Devietti, Joe
Published 2016

Subjects: “...Computer Sciences...”
Get access
Get access

Text

52

VISUALIZE REAL-TIME DATA USING AUTOSAR

by Jelecevic, Edin, Minh, Thong Nguyen
Published 2019

Subjects: “...Computer Sciences...”
Get access

Bachelor Thesis

53

Designing and Implementing Communication and a Graphical Interface for Antenna Test Devices

by Stålnacke, Daniel
Published 2010

Subjects: “...Computer Sciences...”
Get access

Master Thesis

54

How compression affects the use of message queues

by Norgren, Elias
Published 2022

Subjects: “...Computer Sciences...”
Get access

Bachelor Thesis

55

The Infinite Learning Chain : Flipped Professional Labs for Learning and Knowledge Co-Creation

by Gordillo Martorell, José Antonio, Martin-Torres, Javier, Zorzano Mier, María-Paz, Mathanlal, Thasshwin, Cuartielles, David, Johansson, Mattis
Published in Open Education Studies (2019)

Subjects: “...Computer Sciences...”
Get access
Get access

Article in Journal/Newspaper

56

Structured Query Language SQL : Ein WIFI-Lernbehelf

by Wirtschaftsförderungsinstitut der Kammer der gewerblichen Wirtschaft für Wien (WIFI)

Subjects: “...Computer Sciences...”
Get access

Text

57

Extending a model-based IDE : Implementing multi-user collaboration

by Johannesson, Daniel, Doane, Christopher
Published 2017

Subjects: “...Computer Sciences...”
Get access

Bachelor Thesis

58

Report on an Arctic summer DTN trial

by FARRELL, STEPHEN, MCMAHON, ALEX MARK
Published in Wireless Networks (2011)

Subjects: “...Computer sciences...”
Get access
Get access
Get access
Get access

Article in Journal/Newspaper

59

Updating and Revising Star Camera for Future Flights of Balloon Borne Experiment

by Sy, Krystle N, Hillbrand, Seth
Published 2014

Subjects: “...Computer Sciences...”
Get access
Get access

Text

60

The Weak Call-By-Value {\lambda}-Calculus is Reasonable for Both Time and Space

by Forster, Yannick, Kunze, Fabian, Roth, Marc
Published in Proceedings of the ACM on Programming Languages (2019)

Subjects: “...Computer Science - Computational Complexity...”
Get access
Get access

Text

Narrow Search