Sciweavers

4755 search results - page 232 / 951
» An Implementation Model for Collaborative Applications
Sort
View
ICSE
2001
IEEE-ACM
15 years 8 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
127
Voted
MAGS
2007
82views more  MAGS 2007»
15 years 3 months ago
File transfer in Grid applications at deployment, execution and retrieval
In this article a three staged file transfer approach for the Grid is proposed. File transfer in the Grid can take place at three stages: deployment, user application execution, ...
Françoise Baude, Denis Caromel, Mario Leyto...
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
15 years 9 months ago
SimRobot - A General Physical Robot Simulator and Its Application in RoboCup
This paper describes SimRobot, a robot simulator which is able to simulate arbitrary user-defined robots in three-dimensional space. It includes a physical model which is based on...
Tim Laue, Kai Spiess, Thomas Röfer
ISLPED
1999
ACM
86views Hardware» more  ISLPED 1999»
15 years 7 months ago
Power macro-models for DSP blocks with application to high-level synthesis
Abstract – In this paper, we propose a modeling approach for the average power consumption of macro-blocks that are typically used in digital signal processing (DSP) systems, suc...
Subodh Gupta, Farid N. Najm
ACL
1998
15 years 4 months ago
Reference Resolution beyond Coreference: a Conceptual Frame and its Application
A model for reference use in communication is proposed, from a representationist point of view. Both the sender and the receiver of a message handle representations of their commo...
Andrei Popescu-Belis, Isabelle Robba, Gérar...