Sciweavers

3708 search results - page 420 / 742
» Programming with C Exceptions
Sort
View

Book
323views
17 years 4 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 4 months 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 7 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 7 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 6 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Ã...