2255 search results - page 342 / 451 » High Assurance Software Systems |
164
click to vote
TVLSI
2008
15 years 5 months ago
2008
Chip-Multi-Processors (CMP) utilize multiple energy-efficient Processing Elements (PEs) to deliver high performance while maintaining an efficient ratio of performance to energy-c...
189
click to vote
BMCBI
2010
15 years 2 days ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
129
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
142
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
In stand-alone databases, the two functions of ordering the transaction commits and making the effects of transactions durable are generally performed in one action, namely in the...
136
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
Computer systems are resource constrained. Application adaptation is a useful way to optimize system resource usage while satisfying the application performance constraints. Previ...