4117 search results - page 723 / 824 » On the Satisfiability of Complex Constraints |
157
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
† This paper describes a novel methodology to automate the design of the interconnect distribution for multistage clock circuits. We introduce two key ideas. First, a hierarchica...
192
click to vote
IEEEPACT
1997
IEEE
15 years 10 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...
150
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
175
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
180
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...