955 search results - page 150 / 191 » Model Checking Operator Procedures |
82
Voted
ISCAS
2008
IEEE
15 years 8 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...
137
Voted
ESWS
2005
Springer
15 years 7 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...
132
Voted
SIGADA
2004
Springer
15 years 7 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...
101
click to vote
DATE
2004
IEEE
15 years 6 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...
119
click to vote
AUTOMATICA
1999
15 years 2 months 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...