615 search results - page 42 / 123 » Beta Reduction Constraints |
110
Voted
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present a novel method for merging sets of computational patterns into a reconfigurable cell respecting design constraints and optimizing specific design aspects...
89
Voted
ENTCS
2006
15 years 22 days ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
92
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
- We present a bus arbitration scheme for soft real-time constrained embedded systems. Some masters in such systems are required to complete their work for given timing constraints...
112
Voted
JAIR
2006
15 years 21 days ago
2006
In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong...
93
Voted
CCCG
2003
15 years 2 months ago
2003
We show several natural questions about hinged dissections of polygons to be PSPACE-hard. The most basic of these is: Given a hinged set of pieces and two configurations for them...