Sciweavers

12334 search results - page 28 / 2467
» The Use of C
Sort
View
ENTCS
2008
99views more  ENTCS 2008»
13 years 10 months ago
ArcAngelC: a Refinement Tactic Language for Circus
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
M. V. M. Oliveira, A. L. C. Cavalcanti

Book
252views
15 years 8 months ago
C++ GUI Programming with Qt 3
"The purpose of this book is to teach you how to write GUI programs using Qt 3."
Jasmin Blanchette, Mark Summerfield
ISCOPE
1997
Springer
14 years 2 months ago
The Design and Evolution of the MPI-2 C++ Interface
The original specification for the Message Passing Interface (MPI) included language bindings for C and Fortran 77. C++ programs that used MPI were thus required to use the C bin...
Jeffrey M. Squyres, William Saphir, Andrew Lumsdai...
GCSE
2000
Springer
14 years 1 months ago
Mixin-Based Programming in C++
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
Yannis Smaragdakis, Don S. Batory
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
14 years 3 months ago
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
Shinya Honda, Hiroaki Takada