Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Gilberto Pessanha Ribeiro, Jano Moreira de Souza, Anna Lucia Barreto de Freitas |
Digital Geospatial Metadata: a Brazilian Case of Federal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MD ![In: Proceedings of the 1st IEEE Metadata Conference 1996, MD 1996, Silver Spring, MD, USA, April 16-18, 1996, 1996, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
15 | Wayne Madsen |
Reinventing Federal Security Policy: A Failed Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Secur. J. A Glob. Perspect. ![In: Inf. Secur. J. A Glob. Perspect. 4(1), pp. 11-15, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Mostafa Hashem Sherif |
Federal organizations and the commercialization of technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 33(1), pp. 10, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Shane M. Greenstein |
Lock-in and the costs of switching mainframe computer vendors in the US federal government in the 1970s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 17(3), pp. 58-66, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Anu Vedantham, Laura Breeden |
Networking for K-12 education: the federal perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Res. ![In: Internet Res. 5(1), pp. 29-39, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Ronald N. Kostoff |
Federal research impact assessment: Axioms, approaches, applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 34(2), pp. 163-206, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Jay BloomBecker |
Simplifying the state and federal computer crime law maze in the USA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. Comput. Secur. ![In: Inf. Manag. Comput. Secur. 3(1), pp. 18-20, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | |
Federal Certification Authority Liability and Policy - Law and Policy of Certificate-Based Public Key and Digital Signatures: by Michael S. Baum, 1994, softcover, National Institute of Standards and Technology, 421 pp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 11(2), pp. 111, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Ronald N. Kostoff |
Federal Research Impact Assessment: State-of-the-Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 45(6), pp. 428-440, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | David C. Wood |
Federal networking standards: policy issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 2(4), pp. 218-223, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Diane Fountaine |
Draft report of the Federal Internetworking Requirements Panel, and selected responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 24(2), pp. 51-94, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Lin Zucconi |
Issues concerning re-engineering of legacy software in the federal R&D environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 19(3), pp. 35, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Gary W. Strong |
Meeting federal accessibility/disability requirements in interface design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Conference Companion ![In: Conference on Human Factors in Computing Systems, CHI 1994, Boston, Massachusetts, USA, April 24-28, 1994, Conference Companion, pp. 347-350, 1994, ACM, 0-89791-651-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | |
Federal appeals court rules against white house in profs case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Mus. Informatics ![In: Arch. Mus. Informatics 7(3), pp. 17-20, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Seidel |
The European research & development programme DELTA in the Federal Republic of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Mediated Education of Information Technology Professionals and Advanced End-Users ![In: Computer Mediated Education of Information Technology Professionals and Advanced End-Users, Proceedings of the IFIP WG3.4 Working Conference on Computer Mediated Education of Information Technology Professionals and Advanced End-Users, Soest, Germany, 12-16 July, 1993, pp. 279-286, 1993, North-Holland, 0-444-81488-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
15 | Michel Mauc, Geneviève Baudoin, Milan Jelinek |
Complexity reduction for federal standard 1016 CELP coder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSPEECH ![In: Third European Conference on Speech Communication and Technology, EUROSPEECH 1993, Berlin, Germany, September 22-25, 1993, pp. 245-248, 1993, ISCA. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Jan Gruntorad |
Research and Academic Networking in the Czech and Slovak Federal Republic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 25(4-5), pp. 438-443, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Prashant C. Palvia, James A. Perkins, Steven M. Zeltmann |
SIM Paper Competition: The PRISM System: A Key to Organizational Effectiveness at Federal Experss Corporation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIS Q. ![In: MIS Q. 16(3), pp. 277-292, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
15 | William J. Cook |
Federal law and the interstate transfer of stolen computer data: riggs and brown. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 8(2), pp. 77-80, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | |
US privacy law: Compilation of State & Federal Privacy Law (1992), Privacy Journal, Loose Leaf, 136 p, (US $29), ISBN 0- 930072-08-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 8(6), pp. 255, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | |
Technology against terrorism - The federal effort, 1991 (Office of Technology Assessment, paperback report), 118: 118 pp, US$5.00 (Ref OTA-ISC-481). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 8(3), pp. 115, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Karl A. Stroetmann, Werner Schwuchow |
Information policy in the Federal Republic of Germany: development, analysis, perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. ![In: J. Inf. Sci. 18(3), pp. 161-170, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Douglas A. Samuelson |
On the hazards of relying on mathematical models: Three cases from federal policy analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 18(7), pp. 603-606, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Joseph P. Campbell Jr., Thomas E. Tremain, Vanoy C. Welch |
The federal standard 1016 4800 bps CELP voice coder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Signal Process. ![In: Digit. Signal Process. 1(3), pp. 145-155, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Dennis Bodson, Robert T. Adair, Michael D. Meister |
Time and frequency information in telecommunications systems standardized by Federal Standard 1002A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 79(7), pp. 1077-1079, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Reinhard Schramm |
Perspektiven der Nutzung von Patentdatenbanken in den neuen Bundesländern / Perspectives of Use of Patent Databases in the new federal states of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
it Inf. Technol. ![In: it Inf. Technol. 33(5), pp. 283-287, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Joseph Allen |
Commercializing federal technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compcon ![In: Compcon Spring '91, San Francisco, California, USA, February 25 - March 1, 1991. Digest of Papers, pp. 588-589, 1991, IEEE Computer Society, 0-8186-2134-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | M. Ellis |
Federal funding possibilities for minority research programs (panel session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 19th annual conference on Computer Science, CSC '91, San Antonio, Texas, USA, March 4-7, 1991, pp. 706, 1991, ACM, 0-89791-382-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Paul Kelly |
Australian Federal Privacy Laws and the Role of the Privacy Commissioner in Monitoring Data Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Managing Information Technology's Organisational Impact ![In: Managing Information Technology's Organisational Impact, II, Proceedings of the IFIP TC9 Conference on Managing Information Technology's Organisational Impact, II, Adelaide, Australia, 7-8 October, 1991, pp. 313-322, 1991, North-Holland, 0-444-89506-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
15 | D. Fichtner |
Competition in the university system of the Federal Republic of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 19(5-6), pp. 331-335, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Dieter Daniel, R. Fisch |
Introduction: Quantitative science and technology indicators studies in the Federal Republic of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 19(5-6), pp. 327-329, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | E. Rau, T. Hummel |
Rankings of economics departments in the Federal Republic of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 19(5-6), pp. 377-384, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Frank Schlie-Roosen |
Quantitative indicators for federal government research and technology policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 19(5-6), pp. 439-445, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Charlotte Laqui, Yaoshuang Qu |
A simulation study of the communications performance of the federal avition Aministration Mode Select Beacon System for airtraffic control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 22th Winter Simulation Conference, New Orleans, Louisiana, USA, December 9-12, 1990, pp. 820-825, 1990, IEEE Computer Society, 0-911801-72-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | John Richardson Jr. |
Federal information policies in the 1980's: Conflicts and issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JASIS ![In: JASIS 40(2), pp. 140-141, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Richard E. Ladner |
Computer Accessibility For Federal Workers With Disabilities: It's The Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 32(8), pp. 952-956, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | |
The Federal high performance computing program - Sept. 89. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
15 | Joseph P. Campbell Jr., Vanoy C. Welch, Thomas E. Tremain |
An expandable error-protected 4800 bps CELP coder (US Federal Standard 4800 bps voice coder). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '89, Glasgow, Scotland, May 23-26, 1989, pp. 735-738, 1989, IEEE. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Santosh Chokhani |
Protection of call detail records data in federal telecommunications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Fifth Annual Computer Security Applications Conference, ACSAC 1989, 4-8 December, 1989, Westward Look Resort, Tucson, Arizona, USA, pp. 70-77, 1989, IEEE. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Gregory M. Vaudreuil |
The Federal Research Internet Committee and the National Research Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 18(3), pp. 6-9, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Joseph A. Hull |
Proposed Federal Standard 1070. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings of the 13th Conference on Local Computer Networks, LCN 1988, October 10-12, 1988, Minneapolis, Minnesota, USA, pp. 70-, 1988, IEEE Computer Society, 0-8186-0891-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Rüdiger Dierstein, Dieter Müller-Wichards, Hans-Martin Wacker (eds.) |
Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![Springer, 3-540-18923-8 The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | J. Timothy Sprehe |
Section I. National policy for health information services. Policy on management of Federal Information Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 38(1), pp. 30-33, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Jean A. Westler |
Section III. Health information analysis centers, clearinghouses, and other special projects. Federal health information clearinghouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 38(1), pp. 48-51, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Raymond A. Palmer |
Effect of federal programs on health sciences libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 38(1), pp. 40-47, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Valerio R. Hunt, Gregory V. Kloster |
Guest Editors' Introduction the Federal Aviation Administration's Advanced Automation Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 20(2), pp. 14-17, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | J. Timothy Sprehe |
Federal policy on information access and dissemination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 5(1), pp. 19-24, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Barbara B. Simmons, Joel S. Yudken |
Federal funding in computer science: a preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 19(1), pp. 54-63, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | R. A. Zollinger |
The Illinois resource network - linking business and government with university and federal laboratory expertise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FJCC ![In: Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, pp. 712-714, 1987, ACM, 0-8186-0811-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
15 | Karl Solchenbach, Ulrich Trottenberg |
On the Multigrid Acceleration Approach in Computational Fluid Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 145-158, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | David Callahan, Keith D. Cooper, Robert Hood, Ken Kennedy, Linda Torczon, Scott K. Warren |
Parallel Programming Support in ParaScope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 91-106, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Martin Wacker |
Introduction to the Seminar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 3-11, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Burton J. Smith |
Shared Memory, Vectors, Message Passing, and Scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 29-34, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Garry H. Rodrigue, A. Louise Perkins |
Locating Parallel Numerical Tasks in the Solution of Viscous Fluid Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 133-144, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Constantine D. Polychronopoulos |
Automatic Restructuring of Fortran Programs for Parallel Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 107-130, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Dieter Müller-Wichards |
An Algebraic Approach to Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 159-185, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Howard Jay Siegel, William Tsun-Yuk Hsu, Menkae Jeng, Wayne G. Nation |
Communication Techniques in Parallel Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 35-60, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Arvind, Robert A. Iannucci |
Two Fundamental Issues in Multiprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 61-88, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Roger W. Hockney |
Classification and Evaluation of Parallel Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 13-25, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth L. Kraemer, John Leslie King |
OR Practice - Computer-Based Models for Policy Making: Uses and Impacts in the U.S. Federal Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 34(4), pp. 501-512, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | T. Michael Knasel |
Robotics research and development in the federal republic of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics ![In: Robotics 2(1), pp. 1-2, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | James F. Decker |
Supercomputer Activities of the Federal Coordinating Council on Science, Engineering, and Technology and the Department of Energy's Supercomputer Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPCON ![In: Spring COMPCON'86, Digest of Papers, Thirty-First IEEE Computer Society International Conference, San Francisco, California, USA, March 3-6, 1986, pp. 348-351, 1986, IEEE Computer Society, 0-8186-0692-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
15 | Cathleen Stasz, Tora K. Bikson |
Computer-supported cooperative work: examples and issues in one federal agency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '86, Proceedings of the 1986 ACM conference on Computer-supported cooperative work, Austin, Texas, USA, December 3-5, 1986, pp. 318-324, 1986, ACM. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Bernard J. Robinet, Reinhard Wilhelm (eds.) |
ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![Springer, 3-540-16442-1 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Karl Nickel (eds.) |
Interval Mathemantics 1985: Proceedings of the International Symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval Mathemantics ![Springer, 3-540-16437-5 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Maurice Naftalin |
An Experiment in Practical Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 144-159, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Paola Mello, Antonio Natali |
Programs as Collections of Communicating Prolog Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 274-288, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Joost N. Kok |
Denotational Semantics of Nets with Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 237-249, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Christian Codognet, Philippe Codognet, Gilberto Filé |
A Very Intelligent Backtracking Method for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 315-326, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders |
Data Refinement Refined. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 187-196, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Patrice Boizumault |
A Classical Implementation for Prolog-II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 262-273, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Jiro Tanaka, Makoto Kishishita |
Compiling Extended Concurrent Prolog - Single Queue Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 301-314, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Uwe Kastens, Michael Schmidt |
Lifetime Analysis for Procedure Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 53-69, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Elias Dahlhaus, Johann A. Makowsky |
The Choice of Programming Primitives for SETL-Like Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 160-172, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Triolet, Paul Feautrier, François Irigoin |
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 210-222, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Airi Salminen |
Specification of a Tool for Viewing Program Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 250-261, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Kaplan |
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 351-374, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Hanne Riis Nielson, Flemming Nielson |
Pragmatic Aspects of Two-Level Denotational Meta-Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 133-143, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |
A Safe Approach to Parallel Combinator Reduction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 99-110, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis |
15 | Eugene W. Stark |
Proving Entailment Between Conceptual State Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 197-209, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe |
A General Approach to the Optimization of Function Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 41-52, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Corrado Böhm |
Reducing Recursion to Iteration by Algebraic Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 111-118, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras |
15 | Alfons Geser, Heinrich Hußmann |
Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 339-350, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Mads Dam, Frank Jensen |
Compiler Generation from Relational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 1-29, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Harald Søndergaard |
An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 327-338, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Jouvelot |
Parallelization by Semantic Detection of Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 223-236, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Bernot, Michel Bidoit, Christine Choppy |
Algebraic Semantics of Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 173-186, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Hugh Glaser, Sean Hayes |
Another Implementation Technique for Applicative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 70-81, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Schwinn, Gerhard Barth |
An And-Parallel Execution Model of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 289-300, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Didier Bert, Rachid Echahed |
Design and Implementation of a Generic, Logic and Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 119-132, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Flemming Nielson |
Correctness of Code Generation from a Two-Level Meta-Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 30-40, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Bellot |
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 82-98, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | David E. Nadziejka |
Federal information policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 36(3), pp. 220, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Dennis Bodson |
The federal telecommunication standards program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 23(1), pp. 56-62, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Mina Rees |
The Federal Computing Machine Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 7(2), pp. 156-163, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Paul B. Schneck, Donald M. Austin, Stephen L. Squires, John R. Lehmann, David W. Mizell, Kenneth Wallgren |
Parallel Processor Programs in the Federal Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 18(6), pp. 43-56, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | James F. Decker, John Connolly, Paul B. Schneck, Randolph Graves, Stephen L. Squires, John S. Cavallini |
The federal government's supercomputer efforts (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, Denver, Colorado, USA, October 14-16, 1985, pp. 492-493, 1985, ACM, 0-89791-170-9. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Ernst Kohl |
The Online Union Catalogue of Parliamentary and Governmental Institutions in the Federal Republic of Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essen Symposium ![In: Future of Online Catalogues, Essen Symposium, 30 September 1985 - 3 October 1985., pp. 287-337, 1985, Universitäsbibliothek Essen, 3-922602-09-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
15 | Klaus D. Schmidt |
Embedding Theorems for Cones and Applications to Classes of Convex Sets Occurring in Interval Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval Mathematics ![In: Interval Mathemantics 1985: Proceedings of the International Symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985, pp. 159-173, 1985, Springer, 3-540-16437-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Rohn |
Inner Solutions of Linear Interval Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval Mathematics ![In: Interval Mathemantics 1985: Proceedings of the International Symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985, pp. 157-158, 1985, Springer, 3-540-16437-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|