2520 search results - page 204 / 504 » Model-checking behavioral programs |
163
Voted
IISWC
2006
IEEE
16 years 14 days ago
2006
IEEE
The load instructions of some of the bioinformatics applications in the BioPerf suite possess interesting characteristics: only a few static loads cover almost the entire dynamic ...
143
click to vote
CATS
2008
15 years 8 months ago
2008
In this paper we examine an extension of the core concept for the 0/1 Multidimensional Knapsack Problem (MKP) towards general 0/1 Integer Programming (IP) by allowing negative pro...
160
click to vote
IJCAI
1989
15 years 7 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
141
Voted
EOR
2010
15 years 6 months ago
2010
We study a network airline revenue management problem with discrete customer choice behavior. We discuss a choice model based on the concept of preference orders, in which custome...
143
click to vote
CN
1998
15 years 6 months ago
1998
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...