2875 search results - page 248 / 575 » Using separation of concerns for embedded systems design |
240
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
221
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
146
click to vote
ETFA
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we present an approach based on the use of embedded network devices for the deployment of small network services, such as DHCP, BOOTP, filters or very specific proxi...
182
click to vote
NDSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems that support mobile agents are increasingly being used on the global Internet. Security concerns dealing with the protection of the execution environment from malicious ag...
168
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...