2634 search results - page 115 / 527 » Faster Than Uppaal |
FPL
2004
Springer
14 years 2 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...
HICSS
2003
IEEE
14 years 2 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...
ICTAI
2003
IEEE
14 years 2 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...
ICOIN
2003
Springer
14 years 2 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...
LCN
2002
IEEE
14 years 1 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. ...