3179 search results - page 230 / 636 » Applications of PCF Theory |
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
ISMVL
2010
IEEE
14 years 1 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
APN
2008
Springer
14 years 13 days ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
ATAL
2008
Springer
14 years 12 days ago
2008
Springer
Scoring rules are a broad and concisely-representable class of voting rules which includes, for example, Plurality and Borda. Our main result asserts that the class of scoring rul...
CIIT
2004
13 years 11 months ago
2004
This paper shows the design and performance of an AQM (Active Queue Management) enabled router. The design is based on a classical proportional control system. The application of ...