2135 search results - page 237 / 427 » An Operational Semantics for JavaScript |
117
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
241
click to vote
PC
2011
14 years 10 months ago
2011
We investigate the efficient iterative solution of large-scale sparse linear systems on shared-memory multiprocessors. Our parallel approach is based on a multilevel ILU precondit...
142
click to vote
TCS
2010
14 years 10 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
141
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
113
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...