6581 search results - page 437 / 1317 » Formalizing Design Patterns |
142
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
183
Voted
Publication
In recent years, with camera pixels shrinking in size, images are more likely to include defocused regions. In order to recover scene details from defocused regions, deblurring tec...
182
Voted
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
165
click to vote
HAPTICS
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, we propose a new tactile display which produces spatio-temporal stress patterns on a 2-D plane. The first prototype of the display consists of an octagonal arrange...
161
click to vote
TVCG
2010
15 years 4 months ago
2010
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...