3671 search results - page 609 / 735 » On Garbage and Program Logic |
132
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
131
Voted
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
150
Voted
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
159
Voted
FBIT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
110
Voted
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...