1511 search results - page 231 / 303 » Relational Parametricity for Computational Effects |
125
click to vote
CIAC
2000
Springer
15 years 9 months ago
2000
Springer
We consideralgorithms for a simple one-dimensionalpoint placement problem: given N points on a line, and noisy measurements of the distances between many pairs of them, estimate th...
131
click to vote
COBUILD
1999
Springer
15 years 9 months ago
1999
Springer
Ambient media have recently been introduced as a means to present information in our surrounding space in subtle and unmonopolizing ways, promoting peripheral awareness. This paper...
123
click to vote
DFT
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
142
click to vote
ICALP
1990
Springer
15 years 8 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
153
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...