Sciweavers

1534 search results - page 212 / 307
» Error Reporting Logic
Sort
View
UC
2005
Springer
14 years 3 months ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
CSCLP
2004
Springer
14 years 3 months ago
Automatically Exploiting Symmetries in Constraint Programming
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
Arathi Ramani, Igor L. Markov
FPL
2004
Springer
205views Hardware» more  FPL 2004»
14 years 3 months ago
A System Level Resource Estimation Tool for FPGAs
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
Changchun Shi, James Hwang, Scott McMillan, Ann Ro...
GRID
2004
Springer
14 years 3 months ago
User-Driven Scheduling of Interactive Virtual Machines
— We are developing a distributed computing system, Virtuoso, which presents virtual machines (VMs) as its fundabstraction to end users. Long-running noninteractive VMs may coexi...
Bin Lin, Peter A. Dinda, Dong Lu
IFIP
2004
Springer
14 years 3 months ago
Isolated Word Recognition for English Language Using LPC, VQ and HMM
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
Mayukh Bhaowal, Kunal Chawla