677 search results - page 2 / 136 » Reducing the Space Requirement of LZ-Index |
SIGMETRICS
2002
ACM
13 years 5 months ago
2002
ACM
As processor microarchitectures continue to increase in complexity, so does the time required to explore the design space. Performing cycle
AAAI
2008
13 years 8 months ago
2008
Particle filtering algorithms can be used for the monitoring of dynamic systems with continuous state variables and without any constraints on the form of the probability distribu...
ISSTA
1998
ACM
13 years 9 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
PADS
2003
ACM
13 years 11 months ago
2003
ACM
In simulating large-scale networks, due to the limitation of available resources on computers, the size of the networks and the scale of simulation scenarios are often restricted....
EMSOFT
2010
Springer
13 years 4 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...