246 search results - page 20 / 50 » A functional formalization of on chip communications |
SIAMAM
2011
12 years 9 months ago
2011
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
IPPS
2006
IEEE
14 years 23 days ago
2006
IEEE
—The use of programmability in Systems-on-Chip (SoC) brings as the main advantage the possibility of reducing the time-to-market and the cost of design, specially when different ...
SASN
2005
ACM
14 years 9 days ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...
MEMOCODE
2003
IEEE
14 years 16 hour ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...