2634 search results - page 152 / 527 » Faster Than Uppaal |
146
click to vote
WABI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...
139
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
120
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
A novel calculator, ideal for interactive whiteboards and pen-based devices, is introduced and evaluated. The calculator provides a natural, dynamic method of entering conventiona...
165
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
We propose the Firecracker protocol for data dissemination in wireless sensor networks. Firecracker uses a combination of routing and broadcasts to rapidly deliver a piece of data...
166
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
Many web sites incorporate dynamic web pages to deliver customized contents to their users. However, dynamic pages result in increased user response times due to their construction...