Sciweavers

661 search results - page 89 / 133
» Concurrency, objects and visualisation
Sort
View
IFIP3
1998
151views Education» more  IFIP3 1998»
15 years 1 months ago
Conceptual Workflow Modelling for Remote Courses
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
José Palazzo M. de Oliveira, Mariano Nicola...
CVPR
2006
IEEE
16 years 1 months ago
Segmentation by Level Sets and Symmetry
Shape symmetry is an important cue for image understanding. In the absence of more detailed prior shape information, segmentation can be significantly facilitated by symmetry. How...
Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen
DC
2008
14 years 12 months ago
Solo-valency and the cost of coordination
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...
Danny Hendler, Nir Shavit
JSS
2002
90views more  JSS 2002»
14 years 11 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
SIGADA
1999
Springer
15 years 4 months ago
Redistribution in distributed Ada
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
Scott James