Sciweavers

13591 search results - page 299 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
CCGRID
2002
IEEE
15 years 11 months ago
Representing Dynamic Performance Information in Grid Environments with the Network Weather Service
In this paper, we discuss requirements for integrating dynamic performance information from the Network Weather Service (NWS) into the Grid Information Service infrastructure (GIS...
D. Martin Swany, Richard Wolski
PPL
2008
117views more  PPL 2008»
15 years 6 months ago
Operating Systems in silicon and the Dynamic Management of Resources in Many-Core Chips
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
Chris R. Jesshope
166
Voted
CSR
2010
Springer
15 years 11 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
AGP
2003
IEEE
15 years 10 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
N. Graca, Paulo Quaresma
PEPM
2007
ACM
16 years 27 days ago
Partial evaluation of Maple
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
Jacques Carette, Michael Kucera