Sciweavers

2098 search results - page 38 / 420
» The Persistent Abstract Machine
Sort
View
HOTOS
1993
IEEE
15 years 6 months ago
Object Groups May Be Better Than Pages
I argue against trying to solve the problem of clustering objects into disk pages. Instead, I propose that objects be fetched in groups that may be specific to an application or ...
Mark Day
OMER
2001
15 years 3 months ago
State Machine Modeling: From Synch States to Synchronized State Machines
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
Dominikus Herzberg, André Marburger
105
Voted
CORR
2010
Springer
86views Education» more  CORR 2010»
15 years 2 months ago
Online Scheduling on Identical Machines using SRPT
Due to its optimality on a single machine for the problem of minimizing average flow time, ShortestRemaining-Processing-Time (SRPT) appears to be the most natural algorithm to con...
Kyle Fox, Benjamin Moseley
AUSAI
2007
Springer
15 years 8 months ago
Characterising Deadlines in Temporal Modal Defeasible Logic
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
Guido Governatori, Joris Hulstijn, Régis Ri...
SAS
2005
Springer
127views Formal Methods» more  SAS 2005»
15 years 7 months ago
Banshee: A Scalable Constraint-Based Analysis Toolkit
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
John Kodumal, Alexander Aiken