10870 search results - page 1807 / 2174 » Model Checking Programs |
172
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— We consider the problem of power controlled minimum frame length scheduling for TDMA wireless networks. Given a set of one-hop transmission requests, our objective is t...
181
click to vote
MM
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, we propose a method for exciting event detection in broadcast soccer video with mid-level description and SVM-based incremental learning. In the method, video frame...
150
click to vote
PPOPP
2005
ACM
16 years 11 days ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
180
click to vote
SAC
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
190
click to vote
SC
2005
ACM
16 years 11 days ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...