Sciweavers

2435 search results - page 279 / 487
» System Exploration of SystemC Designs
Sort
View
152
Voted
ITS
2000
Springer
112views Multimedia» more  ITS 2000»
15 years 9 months ago
Model of an Adaptive Support Interface for Distance Learning
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
Aude Dufresne
161
Voted
CIDR
2009
180views Algorithms» more  CIDR 2009»
15 years 7 months ago
Data Management for High-Throughput Genomics
Today's sequencing technology allows sequencing an individual genome within a few weeks for a fraction of the costs of the original Human Genome project. Genomics labs are fa...
Uwe Röhm, José A. Blakeley
JAR
2007
80views more  JAR 2007»
15 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
RAS
2007
127views more  RAS 2007»
15 years 5 months ago
Programmable springs: Developing actuators with programmable compliance for autonomous robots
Developing real robots that can exploit dynamic interactions with the environment requires the use of actuators whose behaviour can vary from high stiffness to complete complianc...
Bill Bigge, Inman R. Harvey
ASPDAC
2006
ACM
169views Hardware» more  ASPDAC 2006»
16 years 3 days ago
A real-time and bandwidth guaranteed arbitration algorithm for SoC bus communication
– In shared SoC bus systems, arbiters are usually adopted to solve bus contentions with various kinds of arbitration algorithms. We propose an arbitration algorithm, RT_lottery, ...
Chien-Hua Chen, Geeng-Wei Lee, Juinn-Dar Huang, Ji...