733 search results - page 97 / 147 » Embedded Architecture Description Language |
123
click to vote
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
146
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
121
click to vote
ECMDAFA
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
102
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
132
click to vote
AIL
2005
15 years 1 months ago
2005
This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about info...