3302 search results - page 583 / 661 » Software Is More Than Code |
157
click to vote
ESTIMEDIA
2009
Springer
15 years 1 months ago
2009
Springer
Abstract--Memory accesses are a major cause of energy consumption for embedded systems and the stack is a frequent target for data accesses. This paper presents a fully software te...
147
click to vote
STTT
2010
14 years 10 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
123
click to vote
TCOM
2010
14 years 10 months ago
2010
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
184
click to vote
VLUDS
2010
14 years 10 months ago
2010
Traditionally, analysis of flow fields resulting from computational fluid dynamics (CFD) calculations is a sequential process. The flow area defined by surrounding geometry is tes...
147
click to vote
DEBS
2011
ACM
14 years 7 months ago
2011
ACM
When it comes to reliability in distributed publish/subscribe systems, there are two main categories of systems: reliable systems and best-effort systems. The former category giv...