Sciweavers

2340 search results - page 322 / 468
» Data abstraction and information hiding
Sort
View
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
16 years 13 days 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
16 years 12 days 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...
208
Voted
PARA
2004
Springer
16 years 12 days 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»
16 years 12 days 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...
166
Voted
PERVASIVE
2004
Springer
16 years 12 days 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...