5241 search results - page 352 / 1049 » Embedded Programming with C |
102
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
147
Voted
SIAMJO
2011
14 years 9 months ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
124
click to vote
PEPM
2007
ACM
15 years 9 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...
124
click to vote
ICCD
2007
IEEE
16 years 11 days ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...
135
Voted
PADL
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...