972 search results - page 125 / 195 » Intersection types and computational effects |
SWSTE
2005
IEEE
14 years 2 months ago
2005
IEEE
Flash memory is a type of electrically erasable programmable read-only memory (EEPROM). Because flash memories are nonvolatile and relatively dense, they are now used to store ï¬...
OZCHI
2005
ACM
14 years 2 months ago
2005
ACM
Supporting awareness plays a prominent role in facilitating natural and effective communication in Instant Messaging (IM). This paper reports our empirical study of awareness in I...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
Digital multimedia has gained popularity due to the huge success of the Internet. Users acquire and disseminate multimedia information using different types of devices and communi...
IMR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present two novel techniques to improve the quality of triangle surface meshes while preserving surface characteristics as much as possible. In contrast to previo...
DAC
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we propose a partitioning-based placement algorithm for FPGAs. The method incorporates simple, but effective heuristics that target delay minimization. The placement...