2659 search results - page 81 / 532 » Do we mean the same |
137
click to vote
PDPTA
2000
15 years 5 months ago
2000
MetaVM is a distributed object system for Java virtual machine. It allows programmers to deal with remote objects in the same way they do local objects. Therefore, it can provide a...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
110
click to vote
JSCIC
2006
15 years 4 months ago
2006
In this work, we introduce new finite-difference shock-capturing central schemes on staggered grids. Staggered schemes may have better resolution of the corresponding unstaggered ...
118
click to vote
JSYML
2002
15 years 4 months ago
2002
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
106
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents two fully polynomial-time sufficient feasibility tests for EDF when considering periodic tasks with arbitrary deadlines and preemptive scheduling on uniproces...