12333 search results - page 2071 / 2467 » System Level Modelling for Hardware Software Systems |
141
click to vote
ICFEM
2007
Springer
16 years 19 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
141
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
167
click to vote
WSC
2000
15 years 7 months ago
2000
The UNOS Kidney Allocation Model (UKAM) is a software tool for the simulation and analysis of national cadaveric kidney and kidney-pancreas allocation policies for transplantation...
182
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
180
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...