1539 search results - page 108 / 308 » Is it time for real-time functional programming |
139
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
176
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
130
Voted
ITNG
2006
IEEE
15 years 9 months ago
2006
IEEE
Radio Frequency Identification (RFID) technology is considered to be the next step in the revolution of supplychain management, retail, and beyond. To derive real benefit from RFI...
97
Voted
DELTA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
93
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Malicious data attacks to the real-time electricity market are studied. In particular, an adversary launches an attack by manipulating data from a set of meters with the goal of i...