492 search results - page 97 / 99 » Exploring Recovery from Operating System Lockups |
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
MDM
2009
Springer
14 years 2 months ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
Background subtraction is an essential task in several static camera based computer vision systems. Background modeling is often challenged by spatio-temporal changes occurring due...
SENSYS
2004
ACM
14 years 1 months ago
2004
ACM
We introduce TinySec, the first fully-implemented link layer security architecture for wireless sensor networks. In our design, we leverage recent lessons learned from design vul...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Many algorithm visualizations have been created, but little is known about which features are most important to their success. We believe that pedagogically useful visualizations ...