Sciweavers

4998 search results - page 37 / 1000
» The case for intentional networking
Sort
View
ASPDAC
2007
ACM
114views Hardware» more  ASPDAC 2007»
14 years 21 days ago
Approaching Speed-of-light Distortionless Communication for On-chip Interconnect
We extend the Surfliner on-chip distortionless transmission line scheme and provide more details for the implementation issues. Surfliner seeks to approach distortionless transmiss...
Haikun Zhu, Rui Shi, Chung-Kuan Cheng, Hongyu Chen
AISC
2008
Springer
13 years 10 months ago
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
Peter Chapman, James McKinna, Christian Urban
ACE
2004
186views Education» more  ACE 2004»
13 years 10 months ago
Five Myths of Assessment
This paper describes some issues concerning assessment and the corresponding motivation for students to work in a desired manner. The issues came from studying assessment in the R...
Mats Daniels, Anders Berglund, Arnold Neville Pear...
WMCSA
2009
IEEE
14 years 3 months ago
A case for application aware channel access in wireless networks
The increasing reliance of users on wireless networks for Internet connectivity has posed two significant challenges for mobile networking research. The first challenge is to pr...
Ashish Sharma, Elizabeth M. Belding
ISCA
2011
IEEE
258views Hardware» more  ISCA 2011»
13 years 11 days ago
A case for heterogeneous on-chip interconnects for CMPs
Network-on-chip (NoC) has become a critical shared resource in the emerging Chip Multiprocessor (CMP) era. Most prior NoC designs have used the same type of router across the enti...
Asit K. Mishra, Narayanan Vijaykrishnan, Chita R. ...