Sciweavers

469 search results - page 9 / 94
» Enabling RTR for industry
Sort
View
TPDS
2008
130views more  TPDS 2008»
13 years 6 months ago
NFS-CD: Write-Enabled Cooperative Caching in NFS
We present the Network File System with Cluster Delegation (NFS-CD), an enhancement to the NFSv4 that reduces server load and increases the scalability of distributed file systems ...
Alexandros Batsakis, Randal C. Burns
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
14 years 23 days ago
Software-friendly HW/SW co-simulation: an industrial case study
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
Juanjo Noguera, Luis Baldez, Narcis Simon, Lluis A...
ICLA
2009
Springer
14 years 1 months ago
From Philosophical to Industrial Logics
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...
Moshe Y. Vardi
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
14 years 4 days ago
Enhancing the performance of multi-cycle path analysis in an industrial setting
Abstract— In this paper we enhance the performance of multicycle path analysis in an industrial setting. Industrial designs are, in general, more complicated, but contain more in...
Hiroyuki Higuchi, Yusuke Matsunaga
ECIS
2001
13 years 8 months ago
Planning for IS Related Industry Transformation: The Case of the 3daycar
Despite their potential to reshape business radically, information systems (IS) and information technology (IT) can be key inhibitors of industry transformation. In the automotive...
Mickey Howard, Richard T. Vidgen, Philip Powell, A...