2192 search results - page 151 / 439 » Embedded function composition |
CSREAESA
2007
15 years 2 months ago
2007
—Current industrial automation systems are virtually unprotected against attacks on IT security at field level, especially if an attacker is able to connect physically to field...
72
Voted
APAL
2008
15 years 28 days ago
2008
The continuum function F on regular cardinals is known to have great freedom; if , are regular cardinals, then F needs only obey the following two restrictions: (1) cf(F()) > ...
114
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
111
click to vote
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
97
Voted
XPU
2005
Springer
15 years 6 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...