4770 search results - page 592 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
155
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
228
Voted
ISSADS
2005
Springer
15 years 12 months ago
2005
Springer
Classical distributed database systems monolithically offer distribution transparency and higher performance. This is made possible by making data available and closer to the appl...
172
click to vote
BMCBI
2005
2005
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
15 years 6 months ago
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...
174
click to vote
PETRA
2010
ACM
15 years 8 months ago
2010
ACM
A Human-Computer Interaction (HCI) system that is designed for individuals with severe disabilities to simulate control of a traditional computer mouse is introduced. The camera-b...
158
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Audio podcasting is increasingly present in the educational field and is especially appreciated as an ubiquitous/pervasive tool ("anywhere, anytime, at any pace") for ac...