1539 search results - page 117 / 308 » Is it time for real-time functional programming |
115
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
134
Voted
NIPS
1993
15 years 5 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
100
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
102
Voted
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
145
Voted
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...