280 Hits in 7.1 sec

Automatic generation of hardware/software interfaces

Myron King, Nirav Dave, Arvind
2012 Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '12  
Enabling new applications for mobile devices often requires the use of specialized hardware to reduce power consumption.  ...  This approach is problematic for two reasons: (1) a detailed hardware-software interface is difficult to specify until one is deep into the design process, and (2) it prevents the later migration of functionality  ...  The authors thank Jamey Hicks and John Ankorn of NRC-Cambridge for their input at the start of this project, the team at Bluespec Inc. for their technical support, Asif Khan of CSAIL for his invaluable  ... 
doi:10.1145/2150976.2151011 dblp:conf/asplos/KingDA12 fatcat:muhuovmeibeixajcvcn5shf2sq

History of Science and Technology

1991 Bulletin of Science, Technology & Society  
Ronkainen, "New Directions on Agile Methods: A Comparative Analysis," in Proceedings of the 25th International Conference on Software Engineering(Portland, Oregon, May 03 -10, 2003),(Washington D.C.: IEEE  ...  , calculations for the Census Bureau, or automated bank record keeping with the introduction of the ERMA system. 202 The introduction of real time software systems like SAGE and SABRE challenged the limits  ...  Appendix Two Original Research Below is pseudo code for a flight search program, first in the style of structured programming and then in the style of ad hoc coding of the 1960s.  ... 
doi:10.1177/027046769101100610 fatcat:xac6li3shraexpvdhi66lwu22u

BiographyNet: Extracting Relations Between People and Events [article]

Antske Fokkens, Serge ter Braake, Niels Ockeloen, Piek Vossen, Susan Legêne, Guus Schreiber, Victor de Boer
2018 arXiv   pre-print
BiographyNet's aim is to strengthen the value of the portal and comparable biographical datasets for historical research, by improving the search options and the presentation of its outcome, with a historically  ...  The project therefore worked with two key concepts: "provenance" -understood as a term allowing for both historical source criticism and for references to data-management and programming interventions  ...  Mendes / Max Jakob / Andrés García-Silva / Christian Bizer, DBpedia spotlight: shedding light on the web of documents, In: Proceedings of the 7th International Conference on Semantic Systems, Graz: Springer  ... 
arXiv:1801.07073v2 fatcat:cvm2p77p4rgrxiydb465u4dffm

The research on the space-time statistic characteristics of moving Sonar reverberation and its simulation method [chapter]

2015 Network Security and Communication Engineering  
Although all care is taken to ensure integrity and the quality of this publication and the information herein, no responsibility is assumed by the publishers nor the author for any damage to the property  ...  or persons as a result of operation or use of this publication and/or the information contained herein.  ...  Theory of Adaptive Radar. IEEE Transactions on Aerospace and Electronic System, 1973, 9(2): 237-252.  ... 
doi:10.1201/b18660-165 fatcat:jzfm3mzjp5eodi5gltayr4i544

Advances in the Provision of System and Software Security— Thirty Years of Progress [chapter]

Rayford B Vaughn
2003 Advances in Computers  
It includes an introduction to the topic, definitions and explanations necessary for background, design principles that were established by researchers and practiced today by security engineers.  ...  This chapter addresses systems and software security in computing environments over the past thirty years.  ...  analysis, verification, and proofs of correctness for large software based systems or perhaps it is an indication that vendors are not yet willing to risk the high cost of development of such systems  ... 
doi:10.1016/s0065-2458(03)58007-x fatcat:23pspt6nxzg37eefgwlb62k7oy


A. De Masi
2019 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
The study illustrates the architectural-scenographic construction and drawing techniques related to theatrical scenic illusionism of the seventeenth and eighteenth centuries in relationship with some Neapolitan  ...  The methodological operations will be based on the "Morphology of the Form", the "De-Morphogenesis of the Architecture", "Semantic Values of the Architecture by On-Morphogenesis and "Hypermedia Systems  ...  INTRODUCTION The research goal is related to a demand for digital documentation, communication and tools learning of architectural drawing and Cultural Heritage (CH); this in order to support the phase  ... 
doi:10.5194/isprs-archives-xlii-4-w18-305-2019 fatcat:jgvryvkwwvbbzfcrc4sfgmsuji

Building reliable, high-performance communication systems from components

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert Constable
1999 Proceedings of the seventeenth ACM symposium on Operating systems principles - SOSP '99  
Our paper answers these questions for the Ensemble communication architecture by showing how, with help of the Nuprl formal system, configurations may be checked against specifications, and how optimized  ...  Finally, we discuss whether the techniques we used are general enough for systems other than communication systems. 1 The current address of J.  ...  We also want to thank the anonymous SOSP reviewers, and our "shepherd" Peter Lee for numerous improvements made to our paper.  ... 
doi:10.1145/319151.319157 dblp:conf/sosp/LiuKRHHBC99 fatcat:rca6mecrqvhtrk5cbgm7nmq5ea

Modeling and Multiple Perceptions [chapter]

Christine Parent, Stefano Spaccapietra, Esteban Zimányi
2017 Encyclopedia of GIS  
processes and for contributing to our research.  ...  Cross-References Modeling with Pictogrammic Languages Acknowledgements The authors thank Professor Yvan Bédard of the Geomatics Research Center at Laval University and his team for stimulating our thought  ...  For example, Perceptory provides specialized spatial and temporal sections in its dictionary (as can be added to other CASE tools).  ... 
doi:10.1007/978-3-319-17885-1_805 fatcat:d4t4ossygvcutpfabqn6f3hjcm

5. Foundations of Digital Methods Query Design [chapter]

Richard Rogers, Mirko Tobias Schäfer, Karin van Es
2017 The Datafied Society  
Acknowledgements References Berry, David M. 2012 Acknowledgments The author would like to thank Anat Ben-David for her work on query design, and Becky Cachia for editorial assistance.  ...  Michael Stevenson, Erik Borra and researchers at the Digital Methods Initiative, University of Amsterdam, provided crucial input.  ...  For one, this is because those tools, more often than not, are borrowed from disciplines centred on the analysis of empirical, usually quantitative data.  ... 
doi:10.1515/9789048531011-008 fatcat:7q6p2hlrufgndeozrarhkgggca

Autonomous Intelligent Cyber-defense Agent (AICA) Reference Architecture. Release 2.0 [article]

Alexander Kott, Paul Théron, Martin Drašar, Edlira Dushku, Benoît LeBlanc, Paul Losiewicz, Alessandro Guarino, Luigi Mancini, Agostino Panico, Mauno Pihelgas, Krzysztof Rzadca
2019 arXiv   pre-print
Its objective has been to help accelerate the development and transition to practice of such software agents by producing a reference architecture and technical roadmap.  ...  This report - a major revision of its previous release - describes a reference architecture for intelligent software agents performing active, largely autonomous cyber-defense actions on military networks  ...  Proceedings of the Seventeenth International Conference on Machine Learning; 2000. p 663-670. Noel S, Harley E, Tam KH, Gyor G.  ... 
arXiv:1803.10664v2 fatcat:gtkwxl2gezcn7hbdtldxh77zai

Transactions on Maritime Science (ToMS) - Volume 6, 2017

:None, Universitätsbibliothek Braunschweig
2017 Transactions on Maritime Science  
The focus of the paper was not to develop a new type of ANN, but rather to use it as a modelling tool and identify the most significant input variables for SWH modelling in the Adriatic Sea, among the  ...  The paper deals with sea wave modelling based on available data acquired from a satellite-calibrated numerical model.  ...  Additionally, it has to be mentioned that the professional version of the SAMMON software tools has been further developed by the start-up company Innovative Ship Simulation and Maritime Systems GmbH (  ... 
doi:10.24355/dbbs.084-201704241047-0 fatcat:jbkthllxtfhyjh4nepyysifzji

Binary Correlation [chapter]

2017 Encyclopedia of GIS  
Cross-References Biomedical Data Mining, Spatial Public Health and Spatial Modeling  ...  The use of BNs in this kind of probabilistic map algebra is currently hindered only by the lack of specialized tools to support the analysis.  ...  GIS Software in Bioinformatics as Spatial Analysis Tool Software has been developed as tools of bioinformatics to analyze nucleotide or amino acid sequence data and extract biological information.  ... 
doi:10.1007/978-3-319-17885-1_100104 fatcat:kevtq2vzgjbe7ol2allh7tywn4

Status of Elementary Teacher Development: Preparing Elementary Teachers to Deliver Technology and Engineering Experiences

Mary Annette Rose, Vinson Carter, Josh Brown, Steven Shumway
2017 Journal of Technology Education  
, and course offerings by the university governance system.  ...  The university, through its academic advising system, will make every effort to help students adapt to changes in the catalog.  ...  All educator preparation and licensing programs are accredited by the Indiana Department of Education and the Council for the Accreditation of Educator Preparation (CAEP).  ... 
doi:10.21061/jte.v28i2.a.1 fatcat:fwafnbtjazg4hcyfn73eur4rnq

Time Measurement and Earth Rotation [chapter]

Victor Tissen, Alexander Tolstikov, Galina Simonov
2012 Modern Metrology Concerns  
The algorithms from the fifth section for codetermination of the spacecrafts' orbits parameters and ERP on the basis of ground (laser or navigation) measurements introduces the differential method for  ...  international conference on fundamental astronomical constants.  ...  are the corrections for the lunar and solar tides in the oceans, and for trend and seasonal variations at the i -day.  ... 
doi:10.5772/36846 fatcat:aeafhajhurh2jdvg7dyguajp6q

Mathematical knowledge: internal, social and cultural aspects [article]

Yu. I. Manin
2007 arXiv   pre-print
I discuss some general aspects of the creation, interpretation, and reception of mathematics as a part of civilization and culture.  ...  Returning to the large scale map of mathematical provinces, Geometry/Algebra/Analysis, one should find a place on it for (mathematical) Logic, with its modern impersonation into the Theory of Algorithms  ...  ": from syllogisms to software. Aristotle codified elementary forms of statements and basic rules of logical deductions.  ... 
arXiv:math/0703427v1 fatcat:qrlsg3p4hzbonkmhkopsaul2be
« Previous Showing results 1 — 15 out of 280 results