Sciweavers

34181 search results - page 77 / 6837
» Computer system
Sort
View
OSDI
2008
ACM
15 years 3 months ago
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Bud...
106
Voted
FLAIRS
2010
15 years 3 months ago
A Game Playing System for Use in Computer Science Education
The MAPLE Game Playing System is a web application and website that allows students to design and program game playing agents using the Python programming language. The system pro...
James MacGlashan, Don Miner, Marie desJardins
89
Voted
HPDC
1999
IEEE
15 years 5 months ago
A Resource Description Environment for Distributed Computing Systems
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
Matthias Brune, Alexander Reinefeld, Jörg Var...
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
15 years 5 months ago
Modal and transition dwell time computation in switching systems: a set-theoretic approach
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
Franco Blanchini, Daniele Casagrande, Stefano Mian...
112
Voted
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
14 years 7 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari