955 search results - page 150 / 191 » Model Checking Operator Procedures |
71
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
—A 333MHz-1GHz all-digital multiphase delay-locked loop with precise multi-phase output has been designed with TSMC 130nm CMOS technology model. A modified binary search algorith...
123
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
118
click to vote
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
84
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
We show how to implement an arbitrary two-qubit unitary operation using any of several quantum gate libraries with small a priori upper bounds on gate counts. In analogy to librar...
109
click to vote
AUTOMATICA
1999
15 years 12 days ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...