891 search results - page 20 / 179 » Full Abstraction for PCF |
115
Voted
CAV
2000
Springer
15 years 5 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
148
Voted
POPL
1992
ACM
15 years 6 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
135
Voted
CACM
1999
15 years 1 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
124
click to vote
GLOBECOM
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--We present and analyze the performance of constellation precoded beamforming. This multi-input multi-output transmission technique is based on the singular value decompos...
130
Voted
BIRTHDAY
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...