149 search results - page 16 / 30 » A Length-Invariant Hybrid Mix |
MTV
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
SPAA
2005
ACM
14 years 2 months ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
TPHOL
1998
IEEE
14 years 25 days ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
WSC
1997
13 years 10 months ago
1997
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
ADT
2006
13 years 8 months ago
2006
Data confidentiality has become a major concern for individuals as well as for companies and administrations. In a classical client-server setting, the access control management is...