4323 search results - page 202 / 865 » Callback Implementations in C |
142
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
146
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we present an approach to secure compartmented data access over an untrusted network using a secure network computing architecture. We describe the architecture and...
120
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
129
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
The development of communications services for distributed applications that are both well-structured (layered) and efficient can be difficult. This paper presents a C++ framework...