Sciweavers

COMPSYSTECH
2007
14 years 19 days ago
Example of communication between distributed network systems using web services
: This paper explains decision for communication between distributed network systems based on the Web Services standards and protocols - SOAP and WSDL. Software solution based on t...
Martin Tsenov
COMPSYSTECH
2007
14 years 19 days ago
Shopping robots and e-commerce
Abstract: The paper analyzes features, roles and functions of shopbots, comparing them to nonvirtual intermediaries. The aim is to understand how they can support and optimize deci...
Antonella Reitano
COMPSYSTECH
2007
14 years 19 days ago
An interface system based on multimodal principle for cardiological diagnosis assistance
: A pilot interface system is developed for computer-aided diagnostic and interventional assistance of cardiologists based on clinical trials. The system includes optimized methods...
Maya Dimitrova, Chavdar Roumenin, Siya Lozanova, L...
CODES
2007
IEEE
14 years 19 days ago
Energy efficient co-scheduling in dynamically reconfigurable systems
Energy consumption is a major issue in dynamically reconfigurable systems because of the high power requirements during repeated configurations. Hardware designs employ low power ...
Pao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu
ASPDAC
2007
ACM
99views Hardware» more  ASPDAC 2007»
14 years 20 days ago
Shelf Packing to the Design and Optimization of A Power-Aware Multi-Frequency Wrapper Architecture for Modular IP Cores
Abstract-- This paper proposes a novel power-aware multifrequency wrapper architecture design to achieve at-speed testability. The trade-offs between power dissipation, scan time a...
Dan Zhao, Unni Chandran, Hideo Fujiwara
AICCSA
2007
IEEE
209views Hardware» more  AICCSA 2007»
14 years 20 days ago
LBS and GIS Technology Combination and Applications
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
Balqies Sadoun, Omar Al-Bayari
IWMM
2010
Springer
137views Hardware» more  IWMM 2010»
14 years 21 days ago
The locality of concurrent write barriers
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
Laurence Hellyer, Richard Jones, Antony L. Hosking
CAV
2007
Springer
212views Hardware» more  CAV 2007»
14 years 21 days ago
A Tutorial on Satisfiability Modulo Theories
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
Leonardo Mendonça de Moura, Bruno Dutertre,...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 21 days ago
Automated Assumption Generation for Compositional Verification
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
CAV
2007
Springer
111views Hardware» more  CAV 2007»
14 years 21 days ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith