6040 search results - page 790 / 1208 » Generating Instance Models from Meta Models |
193
Voted
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
170
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In the present article, we introduce a new method for identification of metabolic pathways in constraint based models that consider enzyme and substrate concentrations. It genera...
207
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
139
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we investigate experimentally the performance of Marginal Cost (MC) and Shapley Value (SH) mechanisms for sharing the cost of multicast transmissions. We implement a...
190
click to vote
ASIAMS
2007
IEEE
16 years 1 months ago
2007
IEEE
The shortest capacitated path problem is a well known problem in the networking area, having a wide range of applications. In the shortest capacitated path problem, a traffic flow...