6045 search results - page 377 / 1209 » Computable Linearizations of Well-partial-orderings |
157
click to vote
HPCC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
139
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes an innovative algorithm to find the two’s complement of a binary number. The proposed method works in logarithmic time (O(logN)) instead of the worst case li...
132
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we present an analysis on optimization and risk management in Communication Networks (CNs). The model is proposed for offline traffic engineering optimization, which...
191
click to vote
ICIC
2005
Springer
16 years 1 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol, which can be used to support the mobility of mobile terminals. This paper describes a framework ...
215
click to vote
IWINAC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been ...