4 search results - page 1 / 1 » Incremental Pattern Matching in Graph-Based State Space Expl... |
ECEASST
2010
13 years 4 months ago
2010
CORR
2006
Springer
13 years 9 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
SIGCOMM
2006
ACM
14 years 3 months ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Partitioning a memory into multiple blocks that can be independently accessed is a widely used technique to reduce its dynamic power. For embedded systems, its benefits can be ev...