Sciweavers

7 search results - page 2 / 2
» A Denotational Semantics for a Process-Based Simulation Lang...
Sort
View
CONTEXT
2001
Springer
13 years 10 months ago
Local Holism
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
Carlo Penco
ENTCS
2006
168views more  ENTCS 2006»
13 years 5 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...