Sciweavers

2607 search results - page 353 / 522
» On the Architecture of System Verification Environments
Sort
View
CASCON
2008
107views Education» more  CASCON 2008»
15 years 8 months ago
NetPal: a dynamic network administration knowledge base
Netpal is a web-based dynamic knowledge base system designed to assist network administrators in their troubleshooting tasks, in recalling and storing experience, and in identifyi...
Ashley George, Adetokunbo Makanju, Evangelos E. Mi...
FTSIG
2007
136views more  FTSIG 2007»
15 years 6 months ago
The Application of Hidden Markov Models in Speech Recognition
Hidden Markov Models (HMMs) provide a simple and effective framework for modelling time-varying spectral vector sequences. As a consequence, almost all present day large vocabula...
Mark J. F. Gales, Steve Young
TCAD
2008
101views more  TCAD 2008»
15 years 6 months ago
Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 12 months ago
Context-Awareness on Mobile Devices - the Hydrogen Approach
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...
Thomas Hofer, Wieland Schwinger, Mario Pichler, Ge...
WAC
2004
Springer
149views Communications» more  WAC 2004»
15 years 12 months ago
BIONETS: BIO-inspired NExt generaTion networkS
The amount of information in the new emerging all-embracing pervasive environments will be enormous. Current Internet protocol conceived almost forty years ago, were never planned ...
Iacopo Carreras, Imrich Chlamtac, Hagen Woesner, C...