5707 search results - page 886 / 1142 » Symbolic Simulation - Techniques and Applications |
169
Voted
ISQED
2006
IEEE
16 years 20 days ago
2006
IEEE
System on Chip architectures have traditionally relied upon bus based interconnect for their communication needs. However, increasing bus frequencies and the load on the bus calls...
172
click to vote
ITNG
2006
IEEE
16 years 20 days ago
2006
IEEE
Network distance, measured as round-trip latency between hosts, is important for the performance of many Internet applications. For example, nearest server selection and proximity...
215
Voted
LCN
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes BiSNET (Biologically-inspired architecture for Sensor NETworks), which addresses several key issues in multi-modal wireless sensor networks such as autonomy, ...
176
click to vote
RTCSA
2006
IEEE
16 years 20 days ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
168
Voted
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...