43264 search results - page 8202 / 8653 » Comparing models of computation |
131
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
122
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
132
Voted
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
In recent years, link-based information retrieval methods from the Web are developed. A framework of these methods is a Web graph using pages as vertices and Web-links as edges. In...
119
Voted
EGH
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
182
Voted
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...