Sciweavers

2377 search results - page 333 / 476
» Hybrid Systems in TLA
Sort
View
CP
2010
Springer
15 years 5 months ago
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
Roman van der Krogt, Jacob Feldman, James Little, ...
HEURISTICS
2010
15 years 1 months ago
An evolutionary and constructive approach to a crew scheduling problem in underground passenger transport
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
Rafael Elizondo, Víctor Parada, Lorena Prad...
ESCIENCE
2007
IEEE
16 years 22 days ago
Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...
Yun Yang, Ke Liu, Jinjun Chen, Joel Lignier, Hai J...
PLDI
2009
ACM
16 years 1 months ago
Language-based security on Android
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
Avik Chaudhuri
DATE
2009
IEEE
73views Hardware» more  DATE 2009»
16 years 1 months ago
Priority-based packet communication on a bus-shaped structure for FPGA-systems
—We present an application tailored packed-based SoC communication system with one-hop communication between all entities, priority-based arbitration, broadcast and multicast sup...
Oliver Sander, Benjamin Glas, Christoph Roth, J&uu...