8825 search results - page 175 / 1765 » All for one or one for all |
118
click to vote
RTAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
100
click to vote
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
We develop a multi-level selection model in the framework of indirect reciprocity. Using two levels of selection, one at the individual level and another at the group level, we pro...
104
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
112
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
120
click to vote
PODC
1999
ACM
15 years 5 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...