1992 search results - page 221 / 399 » Memory modeling for system synthesis |
179
click to vote
MEDINFO
2007
15 years 7 months ago
2007
This paper presents an idealized conceptual framework for consumer health informatics research drawing from complementary disciplines: information science and health campaign rese...
150
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
167
click to vote
ENTCS
2010
15 years 6 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
178
click to vote
TCS
2008
15 years 6 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
156
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
There are two popular parallel programming paradigms available to high performance computing users such as engineering and physics professionals: message passing and distributed s...