7557 search results - page 153 / 1512 » Modeling Timed Concurrent Systems |
183
click to vote
DFMA
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
159
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
To keep up with a large degree of instruction level parallelism (ILP), the Itanium 2 cache systems use a complex organization scheme: load/store queues, banking and interleaving. ...
166
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
167
click to vote
RTDB
1996
15 years 8 months ago
1996
We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. Th...
184
click to vote
VVEIS
2007
15 years 8 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...