246 search results - page 13 / 50 » A functional formalization of on chip communications |
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Recent world-wide crisis events have drawn new attention to the role information communication technology (ICT) can play in warning and response activities. Drawing on disaster so...
AWIC
2003
Springer
13 years 12 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
—In this contribution we propose and investigate a transmitter preprocessing scheme designed for downlink transmission in multicarrier direct-sequence code-division multiple-acce...
MEMOCODE
2003
IEEE
13 years 12 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
SIGCOMM
1995
ACM
13 years 10 months ago
1995
ACM
ABSTRACT: Switch chips are building blocks for computer and communication systems. Switches need internal buffering, because of output contention; shared buffering is known to perf...