Sciweavers

2501 search results - page 63 / 501
» Obligations and Their Interaction with Programs
Sort
View
IPPS
1999
IEEE
14 years 1 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
HPCN
1997
Springer
14 years 10 days ago
Visualizing the Iteration Space in PEFPT
Abstract. Su cient and precise semantic information is essential to interactive parallel programming. In this paper, we present afeasible implementation of the iteration space depe...
Qi Wang, Yijun Yu, Erik H. D'Hollander
JDCTA
2008
138views more  JDCTA 2008»
13 years 7 months ago
DVRC-iTV: Download Variable Remote Control for Interactive TV
TV is one of the most important home appliances and the remote controller is a crucial TV input device. TV remote controllers have always been designed with TV compatibility in mi...
Shu-Ching Wang, Tzu-Chih Chung, Kuo-Qin Yan
3DPVT
2002
IEEE
172views Visualization» more  3DPVT 2002»
14 years 1 months ago
3D objects visualization for remote interactive medical applications
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
Johan Montagnat, Eduardo Davila, Isabelle E. Magni...
APVIS
2008
13 years 10 months ago
Interactive Visual Analysis of the NSF Funding Information
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon the treemap...
Shixia Liu, Nan Cao, Hao Lv