Sciweavers

3404 search results - page 357 / 681
» C Programming Tutorial
Sort
View

Book
323views
17 years 1 months ago
Adaptive Object-Oriented Software: a PWS book
"This book introduces a software development method, called the Demeter Method, for developing adaptive object-oriented software. The reader will learn the Demeter Method for...
Karl J. Lieberherr

Book
2145views
17 years 29 days ago
An Introduction to Binary Search Trees and Balanced Trees
"Libavl is a library in ANSI C for manipulation of various types of binary trees. This book provides an introduction to binary tree techniques and presents all of Libavl’s ...
Ben Pfaff
MICCAI
2004
Springer
16 years 4 months ago
A Semi-automatic Endocardial Border Detection Method for 4D Ultrasound Data
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...
Boudewijn J. Krenning, Charles T. Lancée, G...
CADE
2008
Springer
16 years 3 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
PERCOM
2007
ACM
16 years 2 months ago
MundoCore: A light-weight infrastructure for pervasive computing
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
Erwin Aitenbichler, Jussi Kangasharju, Max MühlhÃ...