3555 search results - page 581 / 711 » Security-Critical System Development with Extended Use Cases |
107
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
For transactional memory (TM) to achieve widespread acceptance, transactions should not be limited to the physical resources of any specific hardware implementation. TM systems s...
125
click to vote
TWC
2010
14 years 8 months ago
2010
Relay selection for cooperative communications promises significant performance improvements, and is, therefore, attracting, considerable attention. While several criteria have be...
109
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
100
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
145
click to vote
FC
2007
Springer
15 years 7 months ago
2007
Springer
Task-specific groups are often formed in an ad-hoc manner within big structures, like companies. Take the following typical scenario: A high rank manager decides that a task force...