1911 search results - page 324 / 383 » Program analysis for code duplication in logic programs |
128
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
109
click to vote
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
122
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
127
Voted
VTS
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
125
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes a complete and efficient solution to the stochastic allocation and scheduling for Multi-Processor System-on-Chip (MPSoC). Given a conditional task graph charac...