Sciweavers

1420 search results - page 87 / 284
» A Framework for Scheduler Synthesis
Sort
View
MST
2006
120views more  MST 2006»
15 years 6 months ago
Exploiting Regularities for Boolean Function Synthesis
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...
Anna Bernasconi, Valentina Ciriani, Fabrizio Lucci...
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 10 months ago
BioRoute: a network-flow based routing algorithm for digital microfluidic biochips
Due to the recent advances in microfluidics, digital microfluidic biochips are expected to revolutionize laboratory procedures. One critical problem for biochip synthesis is the dr...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
IRI
2008
IEEE
16 years 17 days ago
Modeling and synthesis of service composition using tree automata
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
Ken Q. Pu, Ying Zhu
HYBRID
2005
Springer
15 years 11 months ago
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sa...
BMVC
2002
15 years 8 months ago
Novel View Specification and Synthesis
Given a set of real images, Novel View Synthesis (NVS) aims to produce views of a scene that would correspond to that of a virtual camera. There exist many approaches to solving t...
Keith Connor, Ian D. Reid