2234 search results - page 79 / 447 » Protocol Implementation Using Integrated Layer Processing |
135
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
149
click to vote
MICRO
2008
IEEE
15 years 7 months ago
2008
IEEE
— As semiconductor processing techniques continue to scale down, transient faults, also known as soft errors, are increasingly becoming a reliability threat to high-performance m...
120
click to vote
MDM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...
107
click to vote
WORDS
2003
IEEE
15 years 6 months ago
2003
IEEE
Most of today’s distributed computing systems in the field do not support the migration of execution entities among computing nodes during runtime. The relatively static associa...
137
click to vote
ISCAPDCS
2008
15 years 2 months ago
2008
This article presents the results of a research in applying modern Graphics Processing Units in the field of telecommunications. The most recent Wireless Local Area Network protoc...