1145 search results - page 140 / 229 » The Correctness of an Optimized Code Generation |
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
106
click to vote
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
—In this paper, a packet-loss resilient, bandwidth-scalable 3-D graphics streaming system is proposed. It uses the Compressed Progressive Mesh (CPM) algorithm [1] to generate a h...
PICS
2003
15 years 1 months ago
2003
Device characterization typically involves generating one or more targets each comprising a number of color patches and making colorimetric measu...
105
click to vote
PIMRC
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, a cooperative multicast scheme that uses Randomized Distributed Space Time Codes (RDSTC), along with packet level Forward Error Correction (FEC), is studied. For the...
128
click to vote
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...