1684 search results - page 87 / 337 » The lexicographic decision function |
156
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
158
click to vote
ICA3PP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Program behaviors reveal that programs have different sources requirement at different phases, even at continuous clocks. It is not a reasonable way to run different prog...
204
click to vote
ICST
2009
IEEE
16 years 28 days ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
135
click to vote
VTS
2006
IEEE
16 years 8 days ago
2006
IEEE
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
144
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
An approach to instructional design is described which avoids some of the problems traditionally associated with process design models, sometimes referred to as waterfall models. ...