Sciweavers

3641 search results - page 270 / 729
» A System Design Methodology for Telecommunication Network Ap...
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
GLOBECOM
2009
IEEE
16 years 1 months ago
Least Squares Estimation for the Digital Compensation of Tx Leakage in zero-IF Receivers
—Transmitter Leakage has a significant impact on the system performance in mobile devices using zero-IF receivers and thus requires a suitable compensation. In contrast to analo...
Andreas Frotzscher, Gerhard Fettweis
CNSR
2008
IEEE
105views Communications» more  CNSR 2008»
16 years 1 months ago
Information Retrieval in Network Administration
Network administration is a task that requires experience in relating symptoms of network problems with possible causes and corrective actions. We describe the design of a system ...
Ashley George, Adetokunbo Makanju, A. Nur Zincir-H...
ASPDAC
2004
ACM
117views Hardware» more  ASPDAC 2004»
16 years 20 hour ago
Performance-driven global placement via adaptive network characterization
Delay minimization continues to be an important objective in the design of high-performance computing system. In this paper, we present an effective methodology to guide the delay...
Mongkol Ekpanyapong, Sung Kyu Lim
DUX
2007
15 years 10 months ago
AnyPhone: mobile applications for everyone
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...
Eric Paulos, August Joki, Parul Vora, Anthony Burk...