Sciweavers

4764 search results - page 322 / 953
» Applications of Error-Control Coding
Sort
View
FCCM
2005
IEEE
84views VLSI» more  FCCM 2005»
15 years 8 months 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
WORDS
2005
IEEE
15 years 8 months 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
DATE
2010
IEEE
155views Hardware» more  DATE 2010»
15 years 7 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
98
Voted
ICSM
1999
IEEE
15 years 7 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
108
Voted
SIGCOMM
1998
ACM
15 years 7 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,...