Sciweavers

2367 search results - page 278 / 474
» Harvesting design for an application framework
Sort
View
FDL
2003
IEEE
16 years 2 days ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
GD
2009
Springer
15 years 11 months ago
Port Constraints in Hierarchical Layout of Data Flow Diagrams
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
Miro Spönemann, Hauke Fuhrmann, Reinhard von ...
DARS
2000
Springer
128views Robotics» more  DARS 2000»
15 years 11 months ago
Collective Grounded Representations for Robots
Realistic applications of autonomous Robotics face a lot of difficulties in real environments. To navigate, self-localize and cooperate in such contexts, a multi-robot system has t...
Louis Hugues
GROUP
1999
ACM
15 years 11 months ago
Supporting the shared care of diabetic patients
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...
Tim Kindberg, Nick Bryan-Kinns, Ranjit Makwana
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 8 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta