Sciweavers

18572 search results - page 812 / 3715
» High performance C
Sort
View
FM
2001
Springer
99views Formal Methods» more  FM 2001»
16 years 1 days ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...
ANCS
2007
ACM
15 years 11 months ago
Design of adaptive communication channel buffers for low-power area-efficient network-on-chip architecture
Network-on-Chip (NoC) architectures provide a scalable solution to the wire delay constraints in deep submicron VLSI designs. Recent research into the optimization of NoC architec...
Avinash Karanth Kodi, Ashwini Sarathy, Ahmed Louri
ISCAS
2007
IEEE
96views Hardware» more  ISCAS 2007»
16 years 1 months ago
Leakage-based On-Chip Thermal Sensor for CMOS Technology
Abstract— Thermal characterization of ICs and on-chip temperature monitoring has become a key task in electronic engineering. In this paper, we present the design of an on-chip C...
Pablo Ituero, José L. Ayala, Marisa L&oacut...
ICCS
2005
Springer
16 years 1 months ago
The Development of Dependable and Survivable Grids
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...
Andrew S. Grimshaw, Marty A. Humphrey, John C. Kni...
C5
2003
IEEE
16 years 26 days ago
Initial Experiences of ALAN-K: An Advanced LeArning Network in Kyoto
This paper describes the start-up phase of the ALAN-K (Advanced LeArning Network in Kyoto) project, which is part of a major effort to create new learning environments for element...
Shin'ichi Konomi, Hiroki Karuno