2251 search results - page 7 / 451 » Specification and Implementation Problems for C |
100
click to vote
ERSA
2007
15 years 1 months ago
2007
”C to Gates” compilers for FPGAs have been a topic of investigation for nearly two decades. Some of these endeavors have reached a point of viability. Impulse C, for example, ...
331
click to vote
JTRES
2010
ACM
14 years 12 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
101
click to vote
IJSSE
2010
14 years 9 months ago
2010
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
FASE
2004
Springer
15 years 5 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
109
click to vote
FORTEST
2008
15 years 1 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...