5241 search results - page 616 / 1049 » Embedded Programming with C |
137
click to vote
ESOP
2012
Springer
14 years 13 days ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
175
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
146
click to vote
C5
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...
148
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
112
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...