2361 search results - page 137 / 473 » Embedded Systems - Challenges and Work Directions |
133
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
142
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— The analysis regarding the impact of the single-step power control (SSPC) scheme on the system performance such as bit error rate, packet error rate and queueing variation is h...
131
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
Branch prediction mechanisms are becoming commonplace within current generation processors. Dynamic branch predictors, albeit able to predict branches quite accurately in average,...
135
Voted
ENTCS
2007
15 years 3 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
155
click to vote
AMAI
1999
Springer
15 years 3 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...