Sciweavers

3451 search results - page 308 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
FPL
2007
Springer
190views Hardware» more  FPL 2007»
16 years 25 days ago
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
Andreas Herrholz, Frank Oppenheimer, Philipp A. Ha...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 10 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
229
Voted
RSP
2005
IEEE
207views Control Systems» more  RSP 2005»
16 years 8 days ago
Design Exploration and HW/SW Rapid Prototyping for Real-Time System Design
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
Sylvain Huet, Emmanuel Casseau, Olivier Pasquier
VSMM
2007
Springer
16 years 24 days ago
Evolutionary Virtual Agent at an Exhibition
This paper describes the Evolutionary Virtual Agent (EVA) prototype designed as an interactive entertainment system for a multimedia exhibition. This implementation uses a behavior...
Jean-Claude Heudin
195
Voted
WOA
2001
15 years 8 months ago
A Knowledge Modeling Tool for Rule-Based Agents
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...