Sciweavers

5672 search results - page 885 / 1135
» Design techniques for low-power systems
Sort
View
FOCM
2002
140views more  FOCM 2002»
15 years 6 months ago
Adaptive Wavelet Methods II - Beyond the Elliptic Case
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...
Albert Cohen, Wolfgang Dahmen, Ronald A. DeVore
INTERNET
2002
142views more  INTERNET 2002»
15 years 6 months ago
Mapping the Gnutella Network
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
Matei Ripeanu, Adriana Iamnitchi, Ian T. Foster
POPL
2012
ACM
14 years 2 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...
MJ
2011
288views Multimedia» more  MJ 2011»
15 years 1 months ago
Emulation-based transient thermal modeling of 2D/3D systems-on-chip with active cooling
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
Pablo Garcia Del Valle, David Atienza
VIS
2009
IEEE
238views Visualization» more  VIS 2009»
16 years 7 months ago
An Interactive Visualization Tool for Multi-channel Confocal Microscopy Data in Neurobiology Research
Confocal microscopy is widely used in neurobiology for studying the three-dimensional structure of the nervous system. Confocal image data are often multi-channel, with each channe...
Yong Wan, Hideo Otsuna, Chi-Bin Chien, Charles ...