3082 search results - page 306 / 617 » Deviation Analysis: A New Use of Model Checking |
167
click to vote
SIGDOC
2006
ACM
16 years 17 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
215
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Serial Analysis of Gene Expression (SAGE) is a high-throughput method for inferring mRNA expression levels from the experimentally generated sequence based tags. Stand...
172
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
194
click to vote
ICSM
2005
IEEE
16 years 6 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
148
click to vote
ECIS
2004
15 years 8 months ago
2004
E-learning is a new strategic arena for higher education, and higher education institutions (HEIs) need to acquire the necessary competencies and capabilities to participate. Thes...