Sciweavers

5977 search results - page 1162 / 1196
» Hierarchical Performance Modeling for Distributed System Arc...
Sort
View
ATAL
2003
Springer
14 years 28 days ago
Formal semantics and communication strategies for proactive information delivery among team-based agents
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
John Yen, Xiaocong Fan, Shuang Sun, Rui Wang, Cong...
ICRA
2002
IEEE
138views Robotics» more  ICRA 2002»
14 years 19 days ago
A Mobile Manipulator for Installation and Removal of Aircraft Warning Spheres on Aerial Power Transmission Lines
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...
Mario Fernando Montenegro Campos, Guilherme A. S. ...
APN
2010
Springer
14 years 15 days ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
ISLPED
2009
ACM
154views Hardware» more  ISLPED 2009»
14 years 11 days ago
Experimental analysis of sequence dependence on energy saving for error tolerant image processing
We present experimental analysis to exploit the sequence dependence on energy saving in error tolerant image processing. Our analysis shows that the error distributions depend not...
Se Hun Kim, Saibal Mukhopadhyay, Wayne Wolf
HIPS
1998
IEEE
13 years 12 months ago
Language Bindings for a Data-Parallel Runtime
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
Bryan Carpenter, Geoffrey Fox, Donald Leskiw, Xiao...
« Prev « First page 1162 / 1196 Last » Next »