Sciweavers

235 search results - page 14 / 47
» Dynamic interpretation for dynamic scripting languages
Sort
View
ICFEM
2009
Springer
15 years 6 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
ISSTA
2012
ACM
13 years 2 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
WWW
2004
ACM
16 years 13 days ago
An xpath-based discourse analysis module for spoken dialogue systems
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
Giuseppe Di Fabbrizio, Charles Lewis
VR
2007
IEEE
122views Virtual Reality» more  VR 2007»
15 years 6 months ago
Flexible Abstraction Layers for VR Application Development
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
Gerwin de Haan, Michal Koutek, Frits H. Post
PLDI
1998
ACM
15 years 3 months ago
Optimizing Direct-threaded Code by Selective Inlining
Achieving good performance in bytecoded language interpreters is di cult without sacri cing both simplicity and portability. This is due to the complexity of dynamic translation (...
Ian Piumarta, Fabio Riccardi