45 search results - page 4 / 9 » Distributed Synthesis for Alternating-Time Logics |
123
click to vote
ICCS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
—This work proposes a new yield computation technique dedicated to HLS, which is an essential component in timing variationaware HLS research field. The SSTAs used by the curren...
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
ISPD
2003
ACM
15 years 2 months ago
2003
ACM
For multi-gigahertz designs in nanometer technologies, data transfers on global interconnects take multiple clock cycles. In this paper, we propose a regular distributed register ...