8828 search results - page 243 / 1766 » Formal methods in practice |
139
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
166
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
The problem of search and retrieval of images using relevance feedback has attracted tremendous attention in recent years from the research community. A real-world-deployable inte...
152
click to vote
CAL
2006
15 years 6 months ago
2006
Multiple core designs have become commonplace in the processor market, and are hence a major focus in modern computer architecture research. Thus, for both product development and ...
196
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
1In this paper, we will present an effective layout method for analog circuits. We consider symmetry constraint, common centroid constraint, device merging and device clustering du...
206
click to vote
CGA
2011
14 years 9 months ago
2011
—We describe a graphics system that significantly improves the visual quality of certain types of 3D character motion animated through traditional means by inferring physical pr...