1699 search results - page 269 / 340 » On the Expressive Power of QLTL |
151
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
162
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
- A closed form expression for the propagation delay of a CMOS gate driving a distributed RLC line is introduced that is within 5% of dynamic circuit simulations for a wide range o...
136
click to vote
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces the efficient application of Virtual Reality (VR) technologies in the Architecture, Engineering and Construction (AEC) industry, where conventional plastic m...
212
Voted
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
168
Voted
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...