207 search results - page 34 / 42 » Synthesizing Switching Logic Using Constraint Solving |
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Process variations cause different behavior of timingdependent effects across different chips. In this work, we analyze one example of timing-dependent effects, crosscoupling ...
126
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
117
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
96
Voted
RTSS
1998
IEEE
15 years 3 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
76
Voted
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Robotic manipulation is important for real, physical world applications. General Purpose manipulation with a robot (eg. delivering dishes, opening doors with a key, etc...