1562 search results - page 144 / 313 » Convenience Over Correctness |
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
We present a robust, automated oscillator macromodeling technique for extracting comprehensive phase and amplitude macromodels from oscillators' SPICE circuit descriptions. Th...
ATC
2007
Springer
14 years 1 months ago
2007
Springer
Service-based Systems (SBS) have the advantage of composing distributed systems from various services provided by multiple providers transparently. In addition to functional correc...
3DPVT
2004
IEEE
14 years 1 months ago
2004
IEEE
By reconstructing time-varying geometry one frame at a time, one ignores the continuity of natural motion, wasting useful information about the underlying video-image formation pr...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...