Sciweavers

4323 search results - page 648 / 865
» Callback Implementations in C
Sort
View
TODAES
1998
68views more  TODAES 1998»
15 years 3 months ago
Specification and verification of pipelining in the ARM2 RISC microprocessor
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
James K. Huggins, David Van Campenhout
TSMC
1998
139views more  TSMC 1998»
15 years 3 months ago
A neuro-fuzzy controller for mobile robot navigation and multirobot convoying
—A Neural integrated Fuzzy conTroller (NiF-T) which integrates the fuzzy logic representation of human knowledge with the learning capability of neural networks is developed for ...
Kim C. Ng, Mohan M. Trivedi
SP
2002
IEEE
129views Security Privacy» more  SP 2002»
15 years 3 months ago
The XCAT Science Portal
The design and prototype implementation of the XCAT Grid Science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed ...
Sriram Krishnan, Randall Bramley, Dennis Gannon, R...
SPE
2002
141views more  SPE 2002»
15 years 3 months ago
Data collection and restoration for heterogeneous process migration
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
Kasidit Chanchio, Xian-He Sun
TIT
2002
95views more  TIT 2002»
15 years 3 months ago
Opportunistic beamforming using dumb antennas
Multiuser diversity is a form of diversity inherent in a wireless network, provided by independent time-varying channels across the different users. The diversity benefit is exploi...
Pramod Viswanath, David N. C. Tse, Rajiv Laroia