Sciweavers

575 search results - page 19 / 115
» Analysis of program based on Synchronous Active Objects
Sort
View
HUMAN
2005
Springer
14 years 2 months ago
A Groupware Design for Supporting International Medical Collaboration over the Internet
Abstract. A groupware that integrates synchronous and asynchronous collaboration paradigms is developed to support international medical collaboration activities carried out among ...
Duminda Nishantha, Yukuo Hayashida, Takeshi Katsuk...
POPL
2007
ACM
14 years 9 months ago
Specialization of CML message-passing primitives
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
John H. Reppy, Yingqi Xiao
TOOLS
1998
IEEE
14 years 1 months ago
C++ Program Information Database for Analysis Tools
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...
SIAMAM
2008
170views more  SIAMAM 2008»
13 years 8 months ago
Absolute Stability and Complete Synchronization in a Class of Neural Fields Models
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...
Olivier D. Faugeras, François Grimbert, Jea...
SSIAI
2002
IEEE
14 years 1 months ago
Volumetric Segmentation via 3D Active Shape Models
A volumetric image segmentation algorithm has been developed and implemented by extending a 2D algorithm based on Active Shape Models. The new technique allows segmentation of 3D ...
Molly M. Dickens, Shaun S. Gleason, Hamed Sari-Sar...