1710 search results - page 37 / 342 » High-Level Programs and Program Conditions |
CONCURRENCY
2004
13 years 7 months ago
2004
Concurrent programs can suffer from many types of errors, not just the wellstudied problems of deadlocks and simple race conditions on variables. This paper addresses a kind of ra...
AMC
2006
13 years 8 months ago
2006
Focus in the paper is on the definition of linear bilevel programming problems, the existence of optimal solutions and necessary as well as sufficient optimality conditions. In th...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speciļ¬...
FPL
2001
Springer
14 years 13 days ago
2001
Springer
This paper presents the beneļ¬ts of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
IFIP
2001
Springer
14 years 12 days ago
2001
Springer
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...