1521 search results - page 213 / 305 » On Sampled Semantics of Timed Systems |
BIB
2010
14 years 9 months ago
2010
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
112
click to vote
ICFP
2012
ACM
13 years 10 days ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract In this paper, we propose the use of a distributed service management architecture for state-of-the-art service-enabled Grids. The architecture is capable of performing au...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Multi-channel waveform monitoring technique enhances built-in test and diagnostic capability of mixed-signal VLSI circuits. An 8-channel prototype system incorporates adaptive sam...