446 search results - page 49 / 90 » A new paradigm for programming competitions |
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
SEKE
2007
Springer
15 years 6 months ago
2007
Springer
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
ICCL
1998
IEEE
15 years 4 months ago
1998
IEEE
Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distri...
ICIP
2009
IEEE
16 years 26 days ago
2009
IEEE
In this paper, following the Compressed Sensing (CS) paradigm, we study the problem of recovering sparse or compressible signals from uniformly quantized measurements. We present ...