Search Results - "Operating Systems."

21

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

22

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-2...

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

23

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

24

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

Published 2009

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

25

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

26

ACL Made Simple

by Johnson, Don.
Published 2004

Subjects: '; “...Operating systems (Computers)....”
View fulltext via EzAccess

Electronic

27

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

28

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers /

Published 2010

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

29

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings /

Published 2010

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

30

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

31

HPC@Green IT Green High Performance Computing Methods /

by Gruber, Ralf., Keller, Vincent.
Published 2010

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

32

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
View fulltext via EzAccess

Electronic

33

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

34

Fundamentals of X Programming Graphical User Interfaces and Beyond /

by Pavlidis, Theo.
Published 2002

Subjects: '; “...Operating systems (Computers)....”
View fulltext via EzAccess

Electronic

35

Operating system security

by Jaeger, Trent.
Published 2008

Subjects: '; “...Operating systems (Computers)...”
Abstract with links to full text

Electronic

36

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

37

Storage Management in Data Centers Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation /

by Scriba, Albrecht., Herminghaus, Volker.
Published 2009

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

38

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings /

Published 2013

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

39

Algorithm Design for Networked Information Technology Systems

by Ghosh, Sumit.
Published 2004

Subjects: '; “...Operating systems (Computers)....”
View fulltext via EzAccess

Electronic

40

Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 December 4, 2009. Proceedings /

Published 2009

Subjects: '; “...Operating systems (Computers)....”
Get full text

Electronic

Narrow Search