Results 41 to 50 of about 18,694,941 (118)
ANSI X9.82, Part 3 - Deterministic Random Bit Generators - DRAFT June 2004
, 2004 This part of ANSI X9.82 defines techniques for the generation of random bits using deterministic methods. This part includes: 1. A model for a deterministic random bit generator, 2.
Accredited Standards Committee, X9
core
A tool for checking ANSI-C programs
, 2004 . We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C language features, including pointer constructs, dynamic memory allocation, recursion,
Flavio Lerda +5 more
core +1 more source
A Comparison of C++ Sockets and Corba in a Distributed Matrix Multiply Application
, 1999 (Maximum 200 words.) This project has two primary purposes. The first, is to implement a distributed matrix multiply algorithm using C++ sockets, andCorba objects with the objective of discovering what additional overhead, if any, exists in aCorba ...
M. Schnaidt +6 more
core
Verifying multi-threaded software using SMT-based context-bounded model checking
, 2011 We describe and evaluate three approaches to model check multi-threaded software with shared variables and locks using bounded model checking based on Satisfiability Modulo Theories (SMT) and our modelling of the synchronization primitives of the Pthread
Cordeiro, Lucas +4 more
core +1 more source
Translating UML-RSDS OCL to ANSI C
, 2017 In this paper we describe a transformation from a subset of OCL to ANSI C code, and we show that the generated code provides improved efficiency compared to OCL execution using Java, C# or C++. The transformation is itself formally specified using OCL.
Hessa Alfraihi +8 more
core +1 more source
TCP/IP sockets in C♯ practical guide for programmers
, 2004 "TCP/IP sockets in C♯ is an excellent book for anyone interested in writing network applications using Microsoft .Net frameworks. It is a unique combination of well written concise text and rich carefully selected set of working examples.
Makofske, David B. +2 more
core
Extracting parallelism in ANSI C programs for embedded computer systems [PDF]
, 2010 W artykule zaprezentowano nowe podejście do ekstrakcji równole-głości w programach ANSI C dla architektur wieloprocesorowych polega-jące na wyznaczaniu niezależnych fragmentów obliczeń w pętlach programowych dowolnie zagnieżdżonych.
Bielecki, W., Kraska, K., Siedlecki, K.
core
Australian National Sustainability Initiative (ANSI) Design [PDF]
, 2006 The Australian National Sustainability Initiative (ANSI) is a proposal for a living, working and\ud learning centre that will address social, economic, environmental and ecological\ud sustainability.
Birkeland, Janis
core +1 more source
Introduction to Raw-sockets [PDF]
, 2017 This document is intended to give an introduction into the programming with RAW-sockets and the related PACKET-sockets. RAW-sockets are an additional type of Internet socket available in addition to the well known DATAGRAM- and STREAM-sockets.
Kuepper, Joel +3 more
core
Alternatvas de preservação do rebordo alveolar - revisão de literatura [PDF]
, 2014 TCC (graduação) - Universidade Federal de Santa Catarina. Centro de Ciências da Saúde. Odontologia.A perda óssea após a extração dentária se constitui numa importante questão dentro da Odontologia.
Giangiulio, Ana Clara
core