Sciweavers

12334 search results - page 28 / 2467
» The Use of C
Sort
View
111
Voted
ENTCS
2008
99views more  ENTCS 2008»
15 years 3 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
241
Voted

Book
252views
17 years 1 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
108
Voted
ISCOPE
1997
Springer
15 years 7 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...
124
Voted
GCSE
2000
Springer
15 years 7 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
111
Voted
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
15 years 9 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