2251 search results - page 99 / 451 » Specification and Implementation Problems for C |
127
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
130
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
125
Voted
SIGCPR
2003
ACM
15 years 8 months ago
2003
ACM
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
147
Voted
ICIAP
1995
ACM
15 years 7 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
138
Voted
CISSE
2008
Springer
15 years 5 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...