Sciweavers

1720 search results - page 88 / 344
» Unranking Combinations in Parallel
Sort
View
106
Voted
EUROPAR
1997
Springer
15 years 7 months ago
A Methodology for Compilation of High-Integrity Real-Time Programs
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
Karl Lermer, Colin J. Fidge
127
Voted
HPCN
2000
Springer
15 years 7 months ago
A Versatile Support for Binding Native Code to Java
As Java is being considered an appropriate environment for high performance computing, we describe advanced techniques of highly expressive and efficient combining of Java with exi...
Marian Bubak, Dawid Kurzyniec, Piotr Luszczek
116
Voted
CONCUR
2008
Springer
15 years 5 months ago
Mixing Lossy and Perfect Fifo Channels
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...
Pierre Chambart, Ph. Schnoebelen
124
Voted
CIKM
2007
Springer
15 years 9 months ago
High-performance distributed inverted files
We present a general method of parallel query processing that allows scalable performance on distributed inverted files. The method allows the realization of a hybrid that combin...
Mauricio Marín, Veronica Gil Costa
113
Voted
IPPS
2005
IEEE
15 years 9 months ago
EMPS: An Environment for Memory Performance Studies
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
Jeffrey K. Hollingsworth, Allan Snavely, Simone Sb...