1981 search results - page 343 / 397 » Model-Checking Hierarchical Structures |
CANDT
2009
14 years 21 days ago
2009
ICT support for transnational social movements and civil society organizations is an important field of research: not only due to the increased political importance of this sector...
DAC
2009
ACM
14 years 20 days ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
GRAPHITE
2007
ACM
14 years 20 days ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...
HT
2007
ACM
14 years 20 days ago
2007
ACM
In this paper we present a visual education tool for efficient and effective learning. The toolkit is based on a simple premise: simple concepts should be learned before advanced ...
ICASSP
2007
IEEE
14 years 20 days ago
2007
IEEE
Motion estimation is the most time-consuming subsystem in a video codec. Thus, more efficient methods of motion estimation should be investigated. Real video sequences usually exh...