Sciweavers

2340 search results - page 322 / 468
» Data abstraction and information hiding
Sort
View
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
15 years 11 months ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
PADL
2004
Springer
15 years 11 months ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
PARA
2004
Springer
15 years 11 months ago
Analyzing Advanced PDE Solvers Through Simulation
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
Henrik Johansson, Dan Wallin, Sverker Holmgren
PCM
2004
Springer
91views Multimedia» more  PCM 2004»
15 years 11 months ago
A Rapid Scheme for Slow-Motion Replay Segment Detection
Abstract. Efficient data mining for digital video has become increasingly important in recent years. In this paper, we present a new scheme for automatic detection of slow-motion r...
Wei-Hong Chuang, Dun-Yu Hsiao, Soo-Chang Pei, Home...
PERVASIVE
2004
Springer
15 years 11 months ago
Siren: Context-aware Computing for Firefighting
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...
Xiaodong Jiang, Nicholas Y. Chen, Jason I. Hong, K...