7811 search results - page 421 / 1563 » computer 2004 |
148
click to vote
PVM
2004
Springer
16 years 3 days ago
2004
Springer
We consider a certain class of parallel program segments in which the order of messages sent affects the completion time. We give characterization of these parallel program segmen...
165
Voted
RAID
2004
Springer
16 years 3 days ago
2004
Springer
The detection of unknown viruses is beyond the capability of many existing virus detection approaches. In this paper, we show how proactive customization of system behaviors can be...
166
click to vote
RSCTC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...
181
Voted
AISC
2004
Springer
15 years 10 months ago
2004
Springer
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
163
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...