Sciweavers

4139 search results - page 364 / 828
» Designing and Implementing Combinator Languages
Sort
View
VL
2002
IEEE
110views Visual Languages» more  VL 2002»
16 years 10 days ago
Empirical Evidence that Algorithm Animation Promotes Understanding of Distributed Algorithms
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...
Mihail Eduard Tudoreanu, Rong Wu, Ashley Hamilton-...
227
Voted
CIDR
2011
253views Algorithms» more  CIDR 2011»
14 years 11 months ago
Answering Queries using Humans, Algorithms and Databases
For some problems, human assistance is needed in addition to automated (algorithmic) computation. In sharp contrast to existing data management approaches, where human input is ei...
Aditya G. Parameswaran, Neoklis Polyzotis
CHI
2001
ACM
16 years 7 months ago
DataTiles: a modular platform for mixed physical and graphical interactions
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
Jun Rekimoto, Brygg Ullmer, Haruo Oba
205
Voted
PADO
2001
Springer
15 years 12 months ago
Deriving Pre-conditions for Array Bound Check Elimination
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
FIW
1998
104views Communications» more  FIW 1998»
15 years 8 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner