973 search results - page 129 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
SIGMOD
1996
ACM
13 years 12 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
NAACL
1994
13 years 9 months ago
1994
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...