Sciweavers

4764 search results - page 322 / 953
» Applications of Error-Control Coding
Sort
View
FCCM
2005
IEEE
84views VLSI» more  FCCM 2005»
16 years 9 days ago
Prototyping Architectural Support for Program Rollback Using FPGAs
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...
Radu Teodorescu, Josep Torrellas
191
Voted
WORDS
2005
IEEE
16 years 8 days ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
148
Voted
DATE
2010
IEEE
155views Hardware» more  DATE 2010»
15 years 11 months ago
Bitstream processing for embedded systems using C++ metaprogramming
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...
Reimund Klemm, Gerhard Fettweis
ICSM
1999
IEEE
15 years 11 months ago
Assembler to C Migration Using the FermaT Transformation System
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
Martin P. Ward
SIGCOMM
1998
ACM
15 years 11 months ago
A Digital Fountain Approach to Reliable Distribution of Bulk Data
—The proliferation of applications that must reliably distribute bulk data to a large number of autonomous clients motivates the design of new multicast and broadcast protocols. ...
John W. Byers, Michael Luby, Michael Mitzenmacher,...