1356 search results - page 110 / 272 » The ideal of verified software |
276
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
152
click to vote
CGO
2007
IEEE
16 years 23 days ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
161
click to vote
ADAEUROPE
2007
Springer
16 years 19 days ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
150
click to vote
CODES
2006
IEEE
16 years 15 days ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
219
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...