Sciweavers

41 search results - page 5 / 9
» Product Operations in Strong Monads
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
14 years 1 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
LISA
2001
13 years 10 months ago
Crypto Blunders
Cryptography has emerged as an enormously important component of the networked world. People are hesitant to trust the World Wide Web and e-commerce without the protections crypto...
Steve Burnett
SRDS
2007
IEEE
14 years 2 months ago
Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
Song Fu, Cheng-Zhong Xu
EUROMICRO
2004
IEEE
14 years 9 days ago
Intrusion Detection in Virtual Machine Environments
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
Marcos Laureano, Carlos Maziero, Edgard Jamhour
ECIS
2000
13 years 10 months ago
IT-Enabled Sophistication Banking
- Globalization of financial markets resulting from both IT (particularly internet standards) and increasing homogeneity of regulation has strongly affected the environment, financ...
Hans Ulrich Buhl, Dennis Kundisch, Andreas Leinfel...