1356 search results - page 179 / 272 » A variable-free dynamic semantics |
140
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
114
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
110
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
151
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
143
click to vote
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...