1700 search results - page 59 / 340 » Specifying and implementing refactorings |
126
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
155
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
129
click to vote
COREGRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
153
click to vote
SPIESR
1998
15 years 5 months ago
1998
Abstract. Imaging applications such as filtering, image transforms and compression/decompression require vast amounts of computing power when applied to large data sets. These appl...
150
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...