945 search results - page 85 / 189 » Working the Flow |
WSC
2007
14 years 14 days ago
2007
Carondelet St. Mary’s Hospital (Tucson, Arizona), the Ascension Health Operations Resource Group and FDI Simulation team worked collaboratively to improve hospital flow and incr...
ICDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...
ADT
2011
13 years 1 months ago
2011
Currently, there is a strong effort of the research community in rethinking the Internet architecture to cope with its current limitations and support new requirements. Many resea...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
Programmable circuit design has played an important role in improving design productivity over the last few decades. By imposing structure on the design, efficient automation of s...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...