1678 search results - page 67 / 336 » An ASM Specification of C |
CCR
2006
13 years 7 months ago
2006
We describe a system in which layer 2 switching is placed directly under the control of layer 3 routing protocols on a hop-by-hop basis. Specifically, ATM switching is controlled ...
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
CACM
2010
13 years 7 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
Our work is focused on alleviating the workload for designers of adaptive courses on the complexity task of authoring adaptive learning designs adjusted to specific user character...
ICSM
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...