Sciweavers

34181 search results - page 69 / 6837
» Computer system
Sort
View
99
Voted
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 27 days ago
A distributed file system for a wide-area high performance computing infrastructure
We describe our work in implementing a wide-area distributed file system for the NSF TeraGrid. The system, called XUFS, allows private distributed name spaces to be created for tr...
Edward Walker
105
Voted
EACL
2009
ACL Anthology
14 years 10 months ago
eHumanities Desktop - An Online System for Corpus Management and Analysis in Support of Computing in the Humanities
This paper introduces eHumanities Desktop- an online system for corpus management and analysis in support of Computing in the Humanities. Design issues and the overall architectur...
Rüdiger Gleim, Ulli Waltinger, Alexandra Erns...
CODES
2006
IEEE
15 years 2 months ago
Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
Maarten Wiggers, Marco Bekooij, Pierre G. Jansen, ...
135
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
ICASSP
2008
IEEE
15 years 7 months ago
Computationally efficient equalization of room impulse responses robust to system estimation errors
Equalization techniques for room impulse responses (RIRs) are important in acoustic signal processing applications such as speech dereverberation. In practice, only approximate es...
Wancheng Zhang, Nikolay D. Gaubitch, Patrick A. Na...