426 search results - page 16 / 86 » SAT-Based Techniques in System Synthesis |
DAC
1994
ACM
15 years 1 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
EVOW
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper describes a Swarm Granulator, a new application of particle swarms to sound synthesis. Granulation, an established technique in sound synthesis, depends on man...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
58
Voted
ISSS
1995
IEEE
15 years 1 months ago
1995
IEEE
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...