8874 search results - page 259 / 1775 » A New Implementation of Automath |
174
click to vote
SECON
2008
IEEE
16 years 1 months ago
2008
IEEE
—Due to the unreliable nature of the wireless medium, provisioning of the Quality of Service (QoS) in wireless LANs is by far more complicated than in wired networks. In this dem...
162
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
167
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
— There is a need to replace existing mechanical and electromechanical systems with new ones, where functionality will be mainly implemented by software. The traditional approach...
163
click to vote
TYPES
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
159
click to vote
CCGRID
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a new low-level communication subsystem called Nemesis. Nemesis has been designed and implemented to be scalable and efficient both in the intranode communica...