744 search results - page 110 / 149 » Software Transactional Memory on Relaxed Memory Models |
127
Voted
MOMPES
2006
IEEE
15 years 8 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
128
click to vote
ECEASST
2008
15 years 1 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
117
click to vote
FMSD
2006
15 years 1 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...