1239 search results - page 183 / 248 » Control Generation for Logic Programs |
140
click to vote
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
147
click to vote
ENTCS
2007
15 years 1 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
101
click to vote
JAIR
2010
15 years 12 days ago
2010
Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a feature su...
120
click to vote
3DIC
2009
IEEE
15 years 8 months ago
2009
IEEE
- This paper describes a new architectural paradigm for fully connected, single-hop system level interconnection networks. The architecture is scalable enough to meet the needs of ...
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...