10707 search results - page 2095 / 2142 » Designing executable abstractions |
110
click to vote
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
128
Voted
LCR
2000
Springer
15 years 6 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
134
Voted
PADL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
127
Voted
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...
136
Voted
ICDCS
1995
IEEE
15 years 6 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...