Sciweavers

3971 search results - page 693 / 795
» On the Use of Properties in Java Applications
Sort
View
LISP
2002
107views more  LISP 2002»
15 years 4 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
MR
2002
100views Robotics» more  MR 2002»
15 years 4 months ago
No-flow underfill flip chip assembly--an experimental and modeling analysis
In the flip-chip assembly process, no-flow underfill materials have a particular advantage over traditional underfill: the application and curing of the former can be undertaken b...
Hua Lu 0003, K. C. Hung, Stoyan Stoyanov, Chris Ba...
163
Voted
SIGPLAN
2002
15 years 4 months ago
Embedding built-in tests in hot spots of an object-oriented framework
: Object-oriented frameworks require thorough testing as they are intended to be reused repeatedly in developing numerous applications. Moreover, whenever a framework is extended f...
Taewoong Jeon, Hyonwoo Seung, Sungyoung Lee
TIP
2002
107views more  TIP 2002»
15 years 4 months ago
Dequantizing image orientation
Abstract--We address the problem of computing a local orientation map in a digital image. We show that standard image gray level quantization causes a strong bias in the repartitio...
Agnès Desolneux, Saïd Ladjal, Lionel M...
153
Voted
MONET
2007
132views more  MONET 2007»
15 years 4 months ago
QUORUM - Quality of Service in Wireless Mesh Networks
Abstract Wireless mesh networks (WMNs) can provide seamless broadband connectivity to network users with low setup and maintenance costs. To support nextgeneration applications wit...
Vinod Kone, Sudipto Das, Ben Y. Zhao, Haitao Zheng