4029 search results - page 364 / 806 » Experience with Software Watermarking |
155
Voted
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
189
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
160
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
204
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
201
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a technique for restructuring functions with low cohesion into functions with high cohesion. Such restructuring is desirable when re-architecting a legacy system into a...