Sciweavers

7027 search results - page 521 / 1406
» Software process: a roadmap
Sort
View
AC
2002
Springer
15 years 7 months ago
A Programming Approach to the Design of Asynchronous Logic Blocks
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
Mark B. Josephs, Dennis P. Furey
CCE
2008
15 years 6 months ago
Scheduling of a mixed batch/continuous sugar milling plant using Petri nets
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
Mahsa Ghaeli, Parisa A. Bahri, Peter L. Lee
ICIP
2001
IEEE
16 years 8 months ago
Easy Java programming for teaching image-processing
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
Daniel Sage, Michael Unser
TASE
2009
IEEE
16 years 1 months ago
State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
ISBI
2008
IEEE
16 years 1 months ago
Morphological-based adaptive segmentation and quantification of cell assays in high content screening
In fluorescence-labelled cell assays for high content screening applications, image processing software is necessary to have automatic algorithms for segmenting the cells individ...
Jesús Angulo, Béatrice Schaack