4 search results - page 1 / 1 » Incremental Pattern Matching in Graph-Based State Space Expl... |
ECEASST
2010
14 years 5 months ago
2010
83
Voted
CORR
2006
Springer
14 years 10 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...
124
Voted
SIGCOMM
2006
ACM
15 years 4 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
15 years 4 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...