2255 search results - page 411 / 451 » High Assurance Software Systems |
129
Voted
DDEP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Our component-based parametrisable font system is a newly developed font description and reproduction technology. It incorporates for each basic character shape a softwar...
98
Voted
PDIS
1994
IEEE
15 years 4 months ago
1994
IEEE
Constructing scalable high-performance applications on commodity hardware running the Unix operating system is a problem that must be addressed in several application domains. We ...
148
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
121
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
—Data loss in wireless communications greatly affects the reconstruction quality of a signal. In the case of images, data loss results in a reduction in quality of the received i...
112
Voted
MICRO
2010
IEEE
14 years 7 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...