1715 search results - page 257 / 343 » Embedded Systems and Real-Time Programming |
132
click to vote
TCS
2010
15 years 3 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
136
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
149
click to vote
IEEEINTERACT
2003
IEEE
15 years 10 months ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
157
Voted
MMSEC
2006
ACM
15 years 11 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
139
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...