Sciweavers

699 search results - page 36 / 140
» The KGP Model of Agency for Global Computing: Computational ...
Sort
View
GCC
2007
Springer
13 years 11 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
IPPS
1999
IEEE
13 years 12 months ago
Building an Adaptive Multimedia System using the Utility Model
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
Lei Chen, Shahadat Khan, Kin F. Li, Eric G. Mannin...
PADS
2009
ACM
14 years 2 months ago
GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
Kalyan S. Perumalla, Brandon G. Aaby, Srikanth B. ...
ACCV
1998
Springer
13 years 11 months ago
Learning Multiscale Image Models of 2D Object Classes
This paper isconcerned with learning the canonical gray scalestructure of the images of a classof objects. Structure is defined in terms of the geometry and layout of salientimage...
Benoit Perrin, Narendra Ahuja, Narayan Srinivasa
DAC
2003
ACM
14 years 8 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson