2779 search results - page 421 / 556 » Modelling Immunological Memory |
193
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...
159
click to vote
ICPP
2008
IEEE
16 years 26 days ago
2008
IEEE
The slow speed of conventional execution-driven architecture simulators is a serious impediment to obtaining desirable research productivity. This paper proposes and evaluates a f...
180
click to vote
RTCSA
2008
IEEE
16 years 24 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
180
click to vote
SECON
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
152
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...