1356 search results - page 85 / 272 » The ideal of verified software |
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
We investigate the statistical properties of both originated and terminated call arrivals in sets of real GSM telephone traffic data (TIM, Italy), emphasizing results obtained ...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract- This paper describes the implementation of an areaefficient and protected user memory-mapped network interface, the pbuf (Parcel Buffer), for the Data IntensiVe Architect...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
PPSN
2004
Springer
15 years 5 months ago
2004
Springer
Theoretically and empirically it is clear that a genetic algorithm with crossover will outperform a genetic algorithm without crossover in some fitness landscapes, and vice versa i...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Flexible electronics have attracted much attention since they enable promising applications such as lowcost RFID tags and e-paper. Thin-film transistors (TFTs) are considered as ...