Sciweavers

11739 search results - page 209 / 2348
» Slideshow: functional presentations
Sort
View
ECOOP
1998
Springer
15 years 9 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
ESA
1998
Springer
154views Algorithms» more  ESA 1998»
15 years 9 months ago
A Functional Approach to External Graph Algorithms
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
James Abello, Adam L. Buchsbaum, Jeffery Westbrook
3DPVT
2006
IEEE
188views Visualization» more  3DPVT 2006»
15 years 8 months ago
Statistical Inference of Biological Structure and Point Spread Functions in 3D Microscopy
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
Joseph Schlecht, Kobus Barnard, Barry Pryor
DFG
2004
Springer
15 years 8 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
IICAI
2007
15 years 6 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss