004 Datenverarbeitung; Informatik
Refine
Year of publication
Document Type
- Conference Proceeding (54) (remove)
Keywords
- Cloud Computing (3)
- middleware (3)
- Constraint Solving (2)
- Deduction (2)
- Forschungsprojekte (2)
- Future SOC Lab (2)
- Hochschuldidaktik (2)
- In-Memory Technologie (2)
- Informatik (2)
- Informatikdidaktik (2)
- Logic Programming (2)
- Logics (2)
- Multicore Architekturen (2)
- Optimization (2)
- Planing (2)
- cloud computing (2)
- education (2)
- higher education (2)
- künstliche Intelligenz (2)
- maschinelles Lernen (2)
- social media (2)
- "Big Data"-Dienste (1)
- Aspektorientierte Softwareentwicklung (1)
- Assessment (1)
- Ausbildung (1)
- Betriebssysteme (1)
- Bildung (1)
- Blockchain (1)
- Coccinelle (1)
- Computer Science Education (1)
- Didaktik (1)
- Didaktische Konzepte (1)
- Diversität (1)
- E-Learning (1)
- Game-based learning (1)
- HDI (1)
- Herodotos (1)
- Heterogenität (1)
- History of pattern occurrences (1)
- Hochschullehre (1)
- ICT (1)
- ISSEP (1)
- In-Memory technology (1)
- Informatics (1)
- Informatics Education (1)
- Informatikstudium (1)
- Key Competencies (1)
- Lebenslanges Lernen (1)
- MOOC (1)
- Middleware (1)
- Mobiles Lernen (1)
- Onlinelehre (1)
- Prolog (1)
- Schlüsselkompetenzen (1)
- Systemsoftware (1)
- The Sharing Economy (1)
- VIL (1)
- Verwaltung von Rechenzentren (1)
- Virtuelle Maschinen (1)
- XM (1)
- airbnb (1)
- artifical intelligence (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- big data (1)
- big data services (1)
- bottom–up (1)
- brand ambassadors (1)
- bug tracking (1)
- built–in predicates (1)
- business models (1)
- cognitive load theory (1)
- concurrency (1)
- consistency (1)
- conversational agents (1)
- crosscutting wrappers (1)
- data center management (1)
- data sharing (1)
- data-driven artifacts (1)
- deductive databases (1)
- design-science research (1)
- didactics (1)
- digital activism (1)
- digital education (1)
- digital identity (1)
- digital nudging (1)
- digital platform openness (1)
- digitale Hochschullehre (1)
- distributed ledger technology (1)
- distributed systems (1)
- dynamic reconfiguration (1)
- e-learning (1)
- engagement (1)
- evaluation (1)
- experience (1)
- explicit knowledge (1)
- extensions of logic programs (1)
- federated industrial platform ecosystems (1)
- forward / backward chaining (1)
- function symbols (1)
- generalized logic programs (1)
- identity management (1)
- immersion (1)
- informatics (1)
- invasive aspects (1)
- knowledge management (1)
- knowledge management system (1)
- knowledge representation (1)
- knowledge transfer (1)
- learner characteristics (1)
- machine learning (1)
- mediated conversation (1)
- microcredential (1)
- morphological analysis (1)
- multi-valued logic (1)
- multicore architectures (1)
- online course creation (1)
- online course design (1)
- online photographs (1)
- open science (1)
- open science practices in information systems research (1)
- operating systems (1)
- paraconsistency (1)
- program analysis (1)
- programming language (1)
- reflection (1)
- reputation management (1)
- research data management (1)
- research projects (1)
- reusable aspects (1)
- security policies (1)
- self-disclosure (1)
- self-sovereign identity (1)
- semantics (1)
- sentiment analysis (1)
- service-oriented (1)
- sharing economy (1)
- social attraction (1)
- stratification (1)
- systems software (1)
- tacit knowledge (1)
- teamwork (1)
- technologies (1)
- the bright and dark side of social media in the marginalized contexts (1)
- top– down (1)
- trust (1)
- tuple spaces (1)
- views (1)
- virtual learning environments (1)
- virtual machines (1)
- visual analytics (1)
- vocational training (1)
A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.
We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].