7961 search results - page 1217 / 1593 » Input-Output Model Programs |
133
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
132
click to vote
ICTCS
2003
Springer
15 years 10 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
139
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
In multi-hop wireless networks, every node is expected to forward packets for the benefit of other nodes. Yet, if each node is its own authority, then it may selfishly deny packe...
135
click to vote
IFL
2003
Springer
15 years 10 months ago
2003
Springer
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
167
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...