9110 search results - page 399 / 1822 » Formally-Based Design Evaluation |
198
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In peer-to-peer based live streaming systems, a great number of participants have to cooperate to efficiently and reliably distribute a continuous flow of data. Each rec...
207
click to vote
SAMOS
2009
Springer
16 years 1 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
129
click to vote
ASAP
2007
IEEE
16 years 1 months ago
2007
IEEE
Because of the growing importance of decimal floating-point (DFP) arithmetic, specifications for it were recently added to the draft revision of the IEEE 754 Standard (IEEE P754)....
161
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
An efficient feedback design for single carrier frequency division multiple access (SC-FDMA) multiple input multiple output (MIMO) communication systems is described. We consider ...
170
click to vote
ECOOP
2007
Springer
16 years 27 days ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...