306 search results - page 48 / 62 » Underspecified computation of normal forms |
VISUALIZATION
1999
IEEE
13 years 11 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
TWC
2008
13 years 7 months ago
2008
Power efficiency is a capital issue in the study of mobile wireless nodes owing to constraints on their battery size and weight. In practice, especially for low-power nodes, it is ...
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
Scalable storage architectures allow for the addition of disks to increase storage capacity and/or bandwidth. In its general form, disk scaling also refers to disk removals when e...
IPMI
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. The exterior surface of the brain is characterized by a juxtaposition of crests and troughs that together form a folding pattern. The majority of the deformations that oc...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...