Sciweavers

4359 search results - page 643 / 872
» Automated Pipeline Design
Sort
View
GLVLSI
2007
IEEE
171views VLSI» more  GLVLSI 2007»
15 years 12 months ago
Combinational equivalence checking for threshold logic circuits
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevo...
179
Voted
CODES
2005
IEEE
15 years 11 months ago
High-level synthesis for large bit-width multipliers on FPGAs: a case study
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
Gang Quan, James P. Davis, Siddhaveerasharan Devar...
CHI
2004
ACM
16 years 6 months ago
Automatic support for web user studies with SCONE and TEA
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...
Hartmut Obendorf, Harald Weinreich, Torsten Hass
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
16 years 7 days ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...
166
Voted
AMS
2007
Springer
281views Robotics» more  AMS 2007»
15 years 11 months ago
A Mobile Service Robot for Life Science Laboratories
Abstract. In this paper we presents a project that is developing a mobile service robot to assist users in biological and pharmaceutical laboratories by executing routine jobs such...
Erik Schulenburg, Norbert Elkmann, Markus Fritzsch...