821 search results - page 136 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
127
click to vote
DAC
2007
ACM
16 years 23 days ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
131
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
118
click to vote
SMA
1993
ACM
15 years 3 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
ENTCS
2008
14 years 12 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
106
click to vote
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...