Demo Data from EDBT 2026 / reviewers in the wild / expert
Jim Carciofini
dblp:81/3415
· DBLP profile ↗
4ranked-venue papers
0as first author
1since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1Systems, architecture and hardware · 1 · 1 since 2021Databases, data management, data science and information retrieval · 1Theory of computation · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 77% Distributed systems · 12% Cloud and datacenter computing · 12% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% |
Topics — the 5 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems › real-time embedded systems
avionics systems |
0.0 | 1 | 1994 | ARINC 659 Scheduling: Problem Definition · RTSS 1994 |
Embedded and real-time systems
real-time scheduling |
0.0 | 1 | 1994 | ARINC 659 Scheduling: Problem Definition · RTSS 1994 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
temporal reasoning |
0.0 | 1 | 1992 | Managing Disjunction for Practical Temporal Reasoning · KR 1992 |
Distributed systems › distributed system architecture
distributed multiprocessor system |
0.0 | 1 | 1994 | ARINC 659 Scheduling: Problem Definition · RTSS 1994 |
Cloud and datacenter computing › resource allocation › resource allocation policy
resource partitioning |
0.0 | 1 | 1994 | ARINC 659 Scheduling: Problem Definition · RTSS 1994 |
Methods — techniques the papers use, named apart from their topics
pre-scheduling · 0.0partitioning · 0.0disjunction handling · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Model-driven development for the seL4 microkernel using the HAMR framework
Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod |
J. Syst. Archit. | 5 |
| 2014 | Reasoner Performance on Ontologies for Operations
Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso |
KEOD | 2 |
| 1994 | ARINC 659 Scheduling: Problem DefinitionabstractHoneywell is completing integration of the new Boeing 777 integrated Airplane Information Management System (AIMS). AIMS functions range from hard real-time to non-real-time, include flight-critical and non-essential functions, and must all reside on the same distributed multiprocessor system. This system, based on Aeronautical Radio Inc's ARINC 659 specification, allows for high resource utilization while providing strict partitioning and provable performance via pre-scheduling of processing and communication resources. Such scheduling presents significant theoretical and practical problems. This paper describes these scheduling requirements with the intent of providing the research community with practical bounds for problem definition.> Todd Carpenter, Kevin Driscoll 0001, Ken Hoyme, Jim Carciofini |
RTSS | 4 |
| 1992 | Managing Disjunction for Practical Temporal Reasoning
Robert Schrag, Mark Boday, Jim Carciofini |
KR | 3 |