2500 search results - page 459 / 500 » Specifying Behavior in C |
130
click to vote
MOBIHOC
2003
ACM
15 years 11 months ago
2003
ACM
A central challenge in ad hoc networks is the design of routing protocols that can adapt their behavior to frequent and rapid changes in the network. The performance of proactive ...
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
105
click to vote
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...
103
click to vote
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...