Sciweavers

1631 search results - page 278 / 327
» Classifying Software Components Using Design Characteristics
Sort
View
TVLSI
2008
152views more  TVLSI 2008»
13 years 10 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
RAID
2010
Springer
13 years 9 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
SIGCSE
2009
ACM
149views Education» more  SIGCSE 2009»
14 years 11 months ago
GINI: a user-level toolkit for creating micro internets for teaching & learning computer networking
GINI (GINI Is Not Internet) is an open-source toolkit for creating virtual micro Internets for teaching and learning computer networking. It provides lightweight virtual elements ...
Muthucumaru Maheswaran, Alexis Malozemoff, Daniel ...
IPSN
2005
Springer
14 years 4 months ago
Telos: enabling ultra-low power wireless research
— We present Telos, an ultra low power wireless sensor module (“mote”) for research and experimentation. Telos is the latest in a line of motes developed by UC Berkeley to en...
Joseph Polastre, Robert Szewczyk, David E. Culler
ISORC
2000
IEEE
14 years 3 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner