3302 search results - page 482 / 661 » Software Is More Than Code |
146
click to vote
HIPEAC
2009
Springer
16 years 18 days ago
2009
Springer
In previous work the 3D-Wave parallelization strategy was proposed to increase the parallel scalability of H.264 video decoding. This strategy is based on the observation that inte...
145
click to vote
VMCAI
2009
Springer
16 years 17 days ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
165
click to vote
VMCAI
2009
Springer
16 years 17 days ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
155
click to vote
COMPSAC
2009
IEEE
16 years 17 days ago
2009
IEEE
Battery Exhaustion Attack is a “denial of service” attack on mobile devices, causing more battery discharge than normally necessary. The excessive discharge arises out of the ...
142
click to vote
ICST
2009
IEEE
16 years 14 days ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...