Sciweavers

4763 search results - page 163 / 953
» On the Execution of Deep Models
Sort
View
JIB
2007
121views more  JIB 2007»
15 years 6 months ago
Deriving biological applications from domain specific process models
In this paper we present how the process modeling and execution tools iPM and iPE can be used to model and execute biological processes. The main focus of this paper is on the fle...
Stefan Jablonski, Matthias Färber, Bernhard V...
CAV
2001
Springer
87views Hardware» more  CAV 2001»
15 years 10 months ago
Microarchitecture Verification by Compositional Model Checking
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
Ranjit Jhala, Kenneth L. McMillan
FPL
2007
Springer
94views Hardware» more  FPL 2007»
16 years 20 days ago
A Many-core Implementation based on the Reconfigurable Mesh Model
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
Heiner Giefers, Marco Platzner
EUC
2005
Springer
16 years 1 days ago
A World Model for Smart Spaces
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
Ichiro Satoh
IPPS
2006
IEEE
16 years 16 days ago
Dynamic performance prediction of an adaptive mesh application
While it is possible to accurately predict the execution time of a given iteration of an adaptive application, it is not generally possible to predict the data-dependent adaptive ...
Mark M. Mathis, Darren J. Kerbyson