1953 search results - page 261 / 391 » Embedded Probabilistic Programming |
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
125
Voted
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
119
Voted
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
117
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
138
click to vote
ICPADS
2006
IEEE
15 years 8 months ago
2006
IEEE
We developed Hi-sap, a web server system that ensures the security in a server and has high performance when processing dynamic content. In existing servers, server embedded progr...