Sciweavers

9049 search results - page 38 / 1810
» The New C Standard
Sort
View
187
Voted

Book
1455views
16 years 7 months ago
Introduction to Object-Oriented Programming using C++
A set of lecture notes that introduces the reader to the object-orientation as a new programming concept. However, this is not a course for learning the C++ programming language.
Peter Müller
74
Voted
TROB
2002
99views more  TROB 2002»
14 years 9 months ago
Eclipse II: a new parallel mechanism enabling continuous 360-degree spinning plus three-axis translational motions
Jongwon Kim, Jae-Chul Hwang, Jin-Sung Kim, C. C. I...
POPL
2007
ACM
15 years 10 months ago
Towards a mechanized metatheory of standard ML
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
Daniel K. Lee, Karl Crary, Robert Harper
64
Voted
KES
2009
Springer
15 years 4 months ago
Domain Modeling Based on Engineering Standards
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
Carlos Toro, Manuel Graña, Jorge Posada, Ja...
SACRYPT
1999
Springer
119views Cryptology» more  SACRYPT 1999»
15 years 1 months ago
A Universal Encryption Standard
Abstract. DES and triple-DES are two well-known and popular encryption algorithms, but they both have the same drawback: their block size is limited to 64 bits. While the cryptogra...
Helena Handschuh, Serge Vaudenay