1799 search results - page 352 / 360 » The Logic of Correctness in Software Engineering |
207
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
163
click to vote
CODES
2008
IEEE
16 years 3 days ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
149
click to vote
CODES
2008
IEEE
16 years 3 days ago
2008
IEEE
Modern embedded compute platforms increasingly contain both microprocessors and field-programmable gate arrays (FPGAs). The FPGAs may implement accelerators or other circuits to s...
150
click to vote
CODES
2007
IEEE
15 years 12 months ago
2007
IEEE
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
152
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...