12333 search results - page 2368 / 2467 » System Level Modelling for Hardware Software Systems |
182
click to vote
STOC
1997
ACM
15 years 6 months ago
1997
ACM
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...
120
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
100
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
149
Voted
ISPASS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
149
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...