2634 search results - page 115 / 527 » Faster Than Uppaal |
152
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...
154
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Automatically creating images that give a sense of content can be useful in a number of settings. Such images can summarize a larger collection of media in novel ways, giving an e...
123
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
140
click to vote
ICOIN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. TFRC (TCP Friendly Rate Control) is a rate-based congestion control protocol for non-TCP flows. TFRC controls the sending rate by using the TCP throughput equation consi...
172
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
Parallel Packet Switches (PPS) use internal, parallel switch planes that operate at less than line speed. A PPS can scale-up to faster line speeds than a single-plane switch can. ...