3731 search results - page 54 / 747 » Reduct Generation in Information Systems |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
CIKM
2011
Springer
12 years 9 months ago
2011
Springer
Modern computing systems generate large amounts of log data. System administrators or domain experts utilize the log data to understand and optimize system behaviors. Most system ...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes a low power VLIW processor generation method by automatically extracting non-redundant activation conditions of pipeline registers for clock gating. It is impo...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
The development of information and communication technologies and the expansion of the Internet means that, nowadays, there are huge amounts of information available via these eme...