18 search results - page 3 / 4 » Hybrid cc with Interval Constraints |
CC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
RSP
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
HYBRID
2007
Springer
14 years 14 days ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
CC
2003
Springer
13 years 11 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
SAC
2005
ACM
13 years 12 months ago
2005
ACM
Data broadcast is a widely accepted data dissemination method for mobile computing systems. When data broadcast is used to deliver frequently updated data to mobile read-only tran...