Sciweavers

860 search results - page 123 / 172
» Completeness in two-party secure computation: a computationa...
Sort
View
VLSID
2007
IEEE
231views VLSI» more  VLSID 2007»
16 years 6 months ago
AHIR: A Hardware Intermediate Representation for Hardware Generation from High-level Programs
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
Sameer D. Sahasrabuddhe, Hakim Raja, Kavi Arya, Ma...
WEBDB
2009
Springer
130views Database» more  WEBDB 2009»
16 years 22 days ago
A Referential Integrity Browser for Distributed Databases
We demonstrate a program that can inspect a distributed relational database on the Internet to discover and quantify referential integrity issues for integration purposes. The pro...
Carlos Ordonez, Javier García-García...
ICNC
2009
Springer
16 years 21 days ago
Model-Free Learning and Control in a Mobile Robot
A model-free, biologically-motivated learning and control algorithm called S-learning is described as implemented in an Surveyor SRV-1 mobile robot. S-learning demonstrated learni...
Brandon Rohrer, Michael Bernard, J. Daniel Morrow,...
TAPIA
2009
ACM
16 years 19 days ago
A platform-based design environment for synthetic biological systems
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
Douglas Densmore, Anne Van Devender, Matthew Johns...
SIES
2007
IEEE
16 years 12 days ago
A Timed Multitasking Architecture for Distributed Embedded Systems
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
Christo Angelov, Jesper Berthing