3104 search results - page 70 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
122
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
120
click to vote
FAST
2009
15 years 2 months ago
2009
Over the past five years, large-scale storage installations have required fault-protection beyond RAID-5, leading to a flurry of research on and development of erasure codes for m...
144
Voted
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
128
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
137
click to vote
INFOVIS
2000
IEEE
15 years 9 months ago
2000
IEEE
In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...