Sciweavers

1404 search results - page 150 / 281
» A C to Hardware Software Compiler
Sort
View
RV
2007
Springer
151views Hardware» more  RV 2007»
15 years 10 months ago
Instrumentation of Open-Source Software for Intrusion Detection
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
William R. Mahoney, William L. Sousan
LCTRTS
2010
Springer
15 years 10 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
VEE
2006
ACM
142views Virtualization» more  VEE 2006»
15 years 10 months ago
Secure and practical defense against code-injection attacks using software dynamic translation
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
Wei Hu, Jason Hiser, Daniel Williams, Adrian Filip...
IEEEMM
2000
120views more  IEEEMM 2000»
15 years 3 months ago
Gaze Awareness for Video-Conferencing: A Software Approach
reness has more abstract social value: People who use frequent eye contact are perceived as more attentive, friendly, cooperative, confident, mature, and sincere than those who avo...
Jim Gemmell, Kentaro Toyama, C. Lawrence Zitnick, ...
DATE
2010
IEEE
137views Hardware» more  DATE 2010»
15 years 9 months ago
Deterministic, predictable and light-weight multithreading using PRET-C
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
Sidharta Andalam, Partha S. Roop, Alain Girault