8928 search results - page 1237 / 1786 » Modeling Current Events |
151
click to vote
HPCC
2005
Springer
16 years 24 days 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 ...
170
Voted
ISPEC
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
198
click to vote
ISVC
2005
Springer
16 years 23 days ago
2005
Springer
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
197
click to vote
LPAR
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
169
click to vote
PATMOS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Based on a previously reported request driven technique for Globally-Asynchronous Locally-Synchronous (GALS) circuits this paper presents two significant enhancements. Fi...