Sciweavers

112 search results - page 17 / 23
» Generalized View-Dependent Simplification
Sort
View
DAC
2006
ACM
16 years 2 months ago
SAT sweeping with local observability don't-cares
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto...
WWW
2004
ACM
16 years 2 months ago
Internet delivery of meteorological and oceanographic data in wide area naval usage environments
Access and retrieval of meteorological and oceanographic data from heterogeneous sources in a distributed system presents many issues. Effective bandwidth utilization is important...
Udaykiran Katikaneni, Roy Ladner, Frederick E. Pet...
151
Voted
MOBISYS
2006
ACM
16 years 1 months ago
Pegboard: a framework for developing mobile applications
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
Danny Soroker, Ramón Cáceres, Danny ...
MOBIHOC
2006
ACM
16 years 1 months ago
Proportionally fair allocation of end-to-end bandwidth in STDMA wireless networks
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
Pablo Soldati, Björn Johansson, Mikael Johans...
PG
1999
IEEE
15 years 6 months ago
An Improved TIN Compression Using Delaunay Triangulation
In this paper we introduce a new compression technique for the connectivity of a Triangulated Irregular Network (TIN) by using Delaunay triangulation. The strategy in this paper i...
Yang-Soo Kim, Dong-Gyu Park, Ho-Youl Jung, Hwan-Gu...