Sciweavers

906 search results - page 63 / 182
» Linking Theories of Concurrency
Sort
View
TLDI
2009
ACM
108views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Secure compilation of a multi-tier web language
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
Ioannis G. Baltopoulos, Andrew D. Gordon
ISLPED
2005
ACM
108views Hardware» more  ISLPED 2005»
15 years 11 months ago
Replacing global wires with an on-chip network: a power analysis
This paper explores the power implications of replacing global chip wires with an on-chip network. We optimize network links by varying repeater spacing, link pipelining, and volt...
Seongmoo Heo, Krste Asanovic
AINA
2007
IEEE
16 years 15 days ago
Sizing Router Buffers for Large-Scale TCP/IP Networks
— We investigate the validity of reducing router buffer size in a large-scale network that includes both core networks and edge networks. We first devise a novel mathematical an...
Hiroyuki Hisamatsu, Go Hasegawa, Masayuki Murata
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
16 years 6 days ago
Reuse-based test access and integrated test scheduling for network-on-chip
In this paper, we propose a new method for test access and test scheduling in NoC-based system. It relies on a progressive reuse of the network resources for transporting test dat...
Chunsheng Liu, Zach Link, Dhiraj K. Pradhan
CCGRID
2005
IEEE
15 years 11 months ago
Co-reservation with the concept of virtual resources
We present an architectural framework for specifying and processing co-reservations in Grid environments. Compared to other approaches, our co-reservation framework is more genera...
Thomas Röblitz, Alexander Reinefeld