932 search results - page 98 / 187 » Verifying Progress in Timed Systems |
127
click to vote
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
Network processors offer a new flexibility for network applications and reduce the time to market for data processing systems. In this paper, we describe the changed development p...
101
click to vote
WSC
2004
15 years 5 months ago
2004
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
136
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Consider any known sequential algorithm for matrix multiplication over an arbitrary ring with time complexity O N , where 2 3. We show that such an algorithm can be parallelize...
146
click to vote
JSSPP
2007
Springer
15 years 10 months ago
2007
Springer
The TeraGrid is a closely linked community of diverse resources: computational, data, and experimental, e.g., the imminent very large computational system at the University of Tex...
126
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...