Publisher ACM Press
From CERES
A list of all pages that have property "Publisher" with value "ACM Press"
- Publications:A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs +
- Publications:A Domain-specific Approach for Software Development on Manycore Platforms +
- Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
- Publications:A domain-specic approach for software development on manycore platforms +
- Publications:An embedded language for programming protocol stacks in embedded systems +
- Publications:Analyzing different levels of geographic context awareness in agent ferrying over VANETs +
- Publications:Co-Existing Periodic Beaconing and Hazard Warnings in IEEE 802.11p-Based Platooning Applications +
- Publications:Concoqtion : Indexed Types Now! +
- Publications:E-FRP with Priorities +
- Publications:Estimation of a successful beacon reception probability in vehicular ad-hoc networks +
- Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems +
- Publications:Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects +
- Publications:Mathematical Equations as Executable Models of Mechanical Systems +
- Publications:Mint : Java Multi-stage Programming Using Weak Separability +
- Publications:Ordinateur porté : dispositifs d'entrée sortie +
- Publications:Restricted delegation and revocation in language-based security : (Position paper) +
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions +
- Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability +
- Publications:The Semantics of Graphical Languages +
