Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kevin Marquet
Extending Dataflow Programs With Throughput Properties
Peripheral State Persistence for Transiently-Powered Systems
Related publications
Dataflow Testing of Java Programs With DFC
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SEDGE: Symbolic Example Data Generation for Dataflow Programs
Extending Logic Programs With Description Logic Expressions for the Semantic Web
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improved Dataflow Executions With User Assisted Scheduling
Extending STEM Education to Engineering Programs at the Undergraduate College Level
International Journal of Engineering Pedagogy
Engineering
Education
GDP: Using Dataflow Properties to Accurately Estimate Interference-Free Performance at Runtime
Parametrized Dataflow Scenarios
Classification of Dataflow Actors With Satisfiability and Abstract Interpretation
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Schedule-Extended Synchronous Dataflow Graphs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
