1878 search results - page 328 / 376 » The Vienna Abstract Machine |
132
Voted
SIAMSC
2010
15 years 28 days ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
110
click to vote
TSD
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Maltparser is a contemporary dependency parsing machine learningbased system that shows great accuracy. However 90% for Labelled Attachment Score (LAS) seems to be a de f...
125
Voted
CLOUDCOM
2010
Springer
15 years 17 days ago
2010
Springer
Eucalyptus, OpenNebula and Nimbus are three major open-source cloud-computing software platforms. The overall function of these systems is to manage the provisioning of virtual ma...
139
Voted
EMSOFT
2010
Springer
15 years 17 days ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
103
Voted
FSTTCS
2010
Springer
15 years 16 days ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...