783 search results - page 112 / 157 » The TextPro Tool Suite |
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Temperature monitoring using thermal sensors is an essential tool for evaluating the thermal behavior and sustaining the reliable operation in high-performance and high-power syst...
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
CSIE
2009
IEEE
14 years 2 months ago
2009
IEEE
Knowledge management (KM) is the research field aimed to create, organize, and store explicit knowledge for easy access and manipulation, whereas e-learning is concerned with del...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...