Sciweavers

2801 search results - page 7 / 561
» On the Adequateness of the Connection Method
Sort
View
FMCO
2004
Springer
14 years 29 days ago
Assertion-Based Encapsulation, Object Invariants and Simulations
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
David A. Naumann
ICISP
2010
Springer
13 years 6 months ago
An Adaptive Multiresolution-Based Multispectral Image Compression Method
This paper deals with the problem of multispectral image compression. In particular, we propose to substitute the built-in JPEG 2000 wavelet transform by an adequate multiresoluti...
Jonathan Delcourt, Alamin Mansouri, Tadeusz Sliwa,...
FMCAD
2009
Springer
14 years 2 months ago
Connecting pre-silicon and post-silicon verification
Sandip Ray, Warren A. Hunt Jr.
NETWORKS
2008
13 years 7 months ago
A simple method for improving the primal simplex method for the multicommodity flow problem
We present a new efficient approach for solving the multicommodity flow problem as a sequence of subproblems, each on a very sparse but connected network. We show that each subpro...
Agustín Bompadre, James B. Orlin
MAM
2007
127views more  MAM 2007»
13 years 7 months ago
Indoor solar energy harvesting for sensor network router nodes
A unique method has been developed to scavenge solar energy from monocrystalline solar cells to power wireless router nodes that are used in indoor applications. This method elimi...
Abhiman Hande, Todd Polk, William Walker, Dinesh B...