6045 search results - page 856 / 1209 » Computable Linearizations of Well-partial-orderings |
138
click to vote
ASPDAC
2006
ACM
16 years 25 days ago
2006
ACM
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...
194
click to vote
ASPDAC
2006
ACM
16 years 25 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
157
click to vote
COMPGEOM
2006
ACM
16 years 25 days ago
2006
ACM
The medial axis of a shape is known to carry a lot of information about it. In particular a recent result of Lieutier establishes that every bounded open subset of Rn has the same...
163
click to vote
MMSEC
2006
ACM
16 years 24 days ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
216
Voted
PLDI
2006
ACM
16 years 24 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...