1189 search results - page 73 / 238 » The Quotient of an Abstract Interpretation |
AIMSA
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
BXML
2003
13 years 11 months ago
2003
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...