4323 search results - page 202 / 865 » Callback Implementations in C |
198
Voted
SAS
2001
Springer
15 years 11 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...
189
Voted
ACSAC
2000
IEEE
15 years 11 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...
187
click to vote
DATE
2000
IEEE
15 years 11 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...
193
click to vote
EUROMICRO
2000
IEEE
15 years 11 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...
151
Voted
IPPS
2000
IEEE
15 years 11 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...