Sciweavers

41938 search results - page 187 / 8388
» Complex Systems Modeling
Sort
View
SCFBM
2008
112views more  SCFBM 2008»
15 years 5 months ago
The Multiscale Systems Immunology project: software for cell-based immunological simulation
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
Faheem Mitha, Timothy A. Lucas, Feng Feng, Thomas ...
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 25 days ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
164
Voted
DATE
2009
IEEE
151views Hardware» more  DATE 2009»
16 years 1 months ago
Combined system synthesis and communication architecture exploration for MPSoCs
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
Martin Lukasiewycz, Martin Streubühr, Michael...
UM
2009
Springer
15 years 10 months ago
History Dependent Recommender Systems Based on Partial Matching
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
Armelle Brun, Geoffray Bonnin, Anne Boyer
VC
2008
95views more  VC 2008»
15 years 6 months ago
1001 Acquisition viewpoints: efficient and versatile view-dependent modeling of real-world scenes
Modeling is a severe bottleneck for computer graphics applications. Manual modeling is time consuming and fails to capture the complexity of real world scenes. Automated modeling b...
Mihai Mudure, Voicu Popescu