Sciweavers

3238 search results - page 327 / 648
» Not Enough Points Is Enough
Sort
View
FOCS
2005
IEEE
16 years 12 days ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
GLVLSI
2005
IEEE
132views VLSI» more  GLVLSI 2005»
16 years 11 days ago
FPGA implementation of a modular and pipelined WF scheduler for high speed OC192 networks
In this paper we propose an FPGA implementation of a multi protocol Weighted Fair (WF) queuing algorithm able to handle variable length packets targeted for Packet Over Sonet (POS...
Abdallah Merhebi, Otmane Aït Mohamed
HICSS
2005
IEEE
146views Biometrics» more  HICSS 2005»
16 years 11 days ago
Evaluation of Voice Stress Analysis Technology
The Air Force Research Laboratory (AFRL) has been tasked by the National Institute of Justice to investigate voice stress analysis (VSA) technology and evaluate its effectiveness ...
Clifford S. Hopkins, Roy J. Ratley, Daniel S. Beni...
HPCS
2005
IEEE
16 years 11 days ago
Comparison of Advanced Authorisation Infrastructures for Grid Computing
The widespread use of Grid technology and distributed compute power, with all its inherent benefits, will only be established if the use of that technology can be guaranteed effic...
A. J. Stell, Richard O. Sinnott, J. P. Watt
HPDC
2005
IEEE
16 years 11 days ago
Distributed application management using Plush
Abstract. Although a number of solutions exist for subtasks of application deployment and monitoring in large-scale, distributed environments, few tools provide a unified framewor...
Jeannie R. Albrecht, Christopher Tuttle, Alex C. S...