Sciweavers

1773 search results - page 114 / 355
» The Visibility-Voronoi Complex and Its Applications
Sort
View
COMCOM
2000
82views more  COMCOM 2000»
15 years 6 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 6 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
EGC
2005
Springer
15 years 12 months ago
Workflow Management in the CrossGrid Project
Grid systems offer high computing capabilities that are used in many scientific research fields and thus many applications are submitted to these powerful systems. Parallel applica...
Anna Morajko, Enol Fernández, Alvaro Fern&a...
CLUSTER
2003
IEEE
15 years 11 months ago
A General Self-Adaptive Task Scheduling System for Non-Dedicated Heterogeneous Computing
— The efforts to construct a national scale Grid computing environment have brought unprecedented computing capacity and complicacy. Exploiting this complex infrastructure requir...
Ming Wu, Xian-He Sun
TPDS
2010
143views more  TPDS 2010»
15 years 4 months ago
FIT: A Flexible, Lightweight, and Real-Time Scheduling System for Wireless Sensor Platforms
—We propose FIT, a flexible, lightweight, and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hierarchical...
Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Ch...