62 search results - page 13 / 13 » Applying Logic Synthesis for Speeding Up SAT |
ICDCS
2010
IEEE
13 years 12 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
RTSS
1992
IEEE
14 years 29 min ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...