3037 search results - page 435 / 608 » A High Performance Application Representation for Reconfigur... |
221
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
170
click to vote
ACSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...
191
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
161
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Joint source-channel coding systems using scalable source codes and forward error correction allow reliable transmission of multimedia data over noisy channels. The performance of...
189
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Sequential consistency (SC) is the simplest programming interface for shared-memory systems but imposes program order among all memory operations, possibly precluding high perform...