611 search results - page 94 / 123 » Relative simulation and model checking of real-time processe... |
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...
ISCAPDCS
2004
13 years 10 months ago
2004
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
WORM
2003
13 years 10 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
VC
2011
13 years 3 months ago
2011
Despite the ability of current GPU processors to treat heavy parallel computation tasks, its use for solving medical image segmentation problems is still not fully exploited and re...
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...