7892 search results - page 209 / 1579 » Programming with Models |
107
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
115
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
VLIW machines possibly provide the most direct way to exploit instruction level parallelism; however, they cannot be used to emulate current general-purpose instruction set archit...
115
click to vote
ISQED
2007
IEEE
15 years 7 months ago
2007
IEEE
In nanometer regime, the effects of variations are having an increasing impact on the delay and power characteristics of devices as well as the yield of the circuit. Statistical t...
134
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
152
click to vote
NFM
2011
14 years 8 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...