2615 search results - page 122 / 523 » Analysis of Real Time Operating System Based Applications |
119
Voted
SOFTWARE
2002
15 years 3 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
117
click to vote
RTCSA
2000
IEEE
15 years 7 months ago
2000
IEEE
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...
127
click to vote
SUM
2010
Springer
15 years 1 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
144
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Sampling is a widely used technique to increase efficiency in database and data mining applications operating on large dataset. In this paper we present a scalable sampling imple...
119
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...