2943 search results - page 164 / 589 » Software Implementation of Synchronous Programs |
153
click to vote
FPL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
106
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
111
click to vote
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...