Filters








122 Hits in 4.3 sec

Improving the performance of message parsers for embedded systems

Jigar Solanki, Laurent Réveillère, Yérom-David Bromberg, Bertrand Le Gal, Tégawendé F. Bissyandé
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
Unfortunately, developing such parsers is a daunting task for most developers as it is at the crossroads of several areas of expertise, such as low-level network programming, or hardware design.  ...  In this paper, we propose Zebra, a generative approach to drastically ease the development of hardware parsers and their use in network applications.  ...  Such specifications indicate which message fragments, and other semantic information are required for the application logic.  ... 
doi:10.1145/2480362.2480643 dblp:conf/sac/SolankiRBGB13 fatcat:vvg6ato7ubh6xf63nxnqkudfzi

Approaches to Automatic Programming [chapter]

Charles Rich, Richard C. Waters
1993 Advances in Computers  
How does the system work? What does the system know? As an example of a research effort in this area, we focus the Programmerś Apprentice project.  ...  This paper is an overview of current approaches to automatic programming organized around three fundamental questions that must be addressed in the design of any automatic programming system: What does  ...  Unfortunately, while this research points in the direction of long term progress, it has not yet had very much impact on commercial systems.  ... 
doi:10.1016/s0065-2458(08)60402-7 fatcat:q4zbeodefjatbkwjlvg4x2j32e

Data specialization

Todd B. Knoblock, Erik Ruf
1996 SIGPLAN notices  
Acknowledgements Brian Guenter first suggested that we apply this technique to shading, and collaborated on the implementation of the interactive shading system described in Section 5.  ...  Bruce Duba, Linda O'Gara, Thomas Reps, Daniel Weise, and the anonymous referees provided helpful comments on drafts of this paper.  ...  Eggers, and Brian N. Bershad. Fast, effective dynamic compilation. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation. ACM, May 1996.  ... 
doi:10.1145/249069.231428 fatcat:yvaqq4vu5vdajimwj3uyvks7ny

Increasing Predictability and Sharing Tacit Knowledge in Electronic Design [chapter]

Vadim Ermolayev, Frank Dengler, Carolina Fortuna, Tadej Štajner, Tom Bösser, Elke-Maria Melchior
2011 Context and Semantics for Knowledge Management  
We describe the software prototype architecture and implementation.  ...  The knowledge workers in this domain are design project managers, designers, and design support engineers.  ...  Acknowledgement The research leading to these results has been funded in part by the European Union's Seventh Framework Programme (FP7/2007(FP7/ -2013 under grant agreement IST-2007-215040.  ... 
doi:10.1007/978-3-642-19510-5_10 fatcat:yx7v4hv32zd6pdqgdgezzhbrry

Software reuse

Charles W. Krueger
1992 ACM Computing Surveys  
The types of artifacts that can be reused are not limited to source code fragments but rather may include design struc- tures, module-level implementation structures, specifications, documenta  ...  PA and P~will be semantically equiva- lent since transformations always pre- serve semantics, but they may differ in terms of implementation characteristics. 9.5 Appraisal of Reuse Techniques  ... 
doi:10.1145/130844.130856 fatcat:qwk7g7pvw5bpfacbkdznkkmdde

Caches with Compositional Performance [chapter]

Henk Muller, Dan Page, James Irwin, David May
2002 Lecture Notes in Computer Science  
One of the challenges in designing systems is adopting a design method with compositional properties.  ...  Compositional functionality guarantees that two components that each perform a task can be integrated without a ecting the semantics of either task.  ...  Compositional properties of programming languages are well studied, since a major issue in designing a programming language is to allow programmers to design, implement, and test modules independently,  ... 
doi:10.1007/3-540-45874-3_14 fatcat:6guxjwhlivhqxepkxubqdrntga

WebDSL: A Case Study in Domain-Specific Language Engineering [chapter]

Eelco Visser
2008 Lecture Notes in Computer Science  
and semantics.  ...  Outline The rest of this paper discusses the iterations in the design and implementation of WebDSL.  ... 
doi:10.1007/978-3-540-88643-3_7 fatcat:ooqyqluajbacvnengokp6xlpl4

Design and implementation of generics for the .NET Common language runtime

Andrew Kennedy, Don Syme
2001 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01  
, and explaining aspects of implementation by reference to a prototype extension to the runtime.  ...  The implementation takes advantage of the dynamic nature of the runtime, performing justin-time type specialization, representation-based code sharing and novel techniques for ef£cient creation and use  ...  Also we are grateful to Jim Miller, Vance Morrison and other members of the CLR development team, Anders Hejlsberg, Peter Hallam and Peter Golde from the C# team, and our colleagues Nick Benton, Simon  ... 
doi:10.1145/378795.378797 dblp:conf/pldi/KennedyS01 fatcat:vy4umfvq3ndana5iqnujk7zc2i

Design and implementation of generics for the .NET Common language runtime

Andrew Kennedy, Don Syme
2001 SIGPLAN notices  
, and explaining aspects of implementation by reference to a prototype extension to the runtime.  ...  The implementation takes advantage of the dynamic nature of the runtime, performing justin-time type specialization, representation-based code sharing and novel techniques for ef£cient creation and use  ...  Also we are grateful to Jim Miller, Vance Morrison and other members of the CLR development team, Anders Hejlsberg, Peter Hallam and Peter Golde from the C# team, and our colleagues Nick Benton, Simon  ... 
doi:10.1145/381694.378797 fatcat:irj3jw5hbzeurbjfcxmh2kuxuq

SweetDeal

Benjamin N. Grosof, Terrence C. Poon
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
the execution of the contract.  ...  This also newly fleshes out the evolving concept of Semantic Web Services. A prototype (soon public) is running. --3  ...  area of Semantic Web Services (the convergence of Semantic Web and Web Services).  ... 
doi:10.1145/775152.775200 dblp:conf/www/GrosofP03 fatcat:gd3jyqp5evamvfkiu3amkstgtm

The hiphop virtual machine

Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi
2014 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14  
The HipHop Virtual Machine (HHVM) is a JIT compiler and runtime for PHP.  ...  Tracelets allow HHVM to exactly and efficiently learn the types observed by the program, while using a simple compiler.  ...  Acknowledgments The HHVM project has been a huge engineering effort, which would not have been possible without the contributions and/or support of: Ali-Reza Adl- Tabatabai  ... 
doi:10.1145/2660193.2660199 dblp:conf/oopsla/AdamsEMOPSSY14 fatcat:ice77zutz5bz5drsgwfdpd3kfq

SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions

Benjamin N. Grosof, Terrence C. Poon
2004 International Journal of Electronic Commerce  
Our system is the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) and of ontologies (DAML+OIL/OWL) with each other, and moreover for a practical e-business  ...  The process ontologies are represented in Description Logic encoded in DAML+OIL, the close predecessor of W3C's OWL, the leading approach to Semantic Web ontologies.  ...  ACKNOWLEDGEMENTS Thanks to our MIT Sloan colleagues Mark Klein, Chrysanthos Dellarocas, Thomas Malone, Peyman Faratin, and John Quimby, as well as Abraham Bernstein, for useful  ... 
doi:10.1080/10864415.2004.11044305 fatcat:pttqumooozfknbtqsczjl3lymm

SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions

Benjamin Grosof, Terrence C. Poon
2003 Social Science Research Network  
Our system is the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) and of ontologies (DAML+OIL/OWL) with each other, and moreover for a practical e-business  ...  The process ontologies are represented in Description Logic encoded in DAML+OIL, the close predecessor of W3C's OWL, the leading approach to Semantic Web ontologies.  ...  ACKNOWLEDGEMENTS Thanks to our MIT Sloan colleagues Mark Klein, Chrysanthos Dellarocas, Thomas Malone, Peyman Faratin, and John Quimby, as well as Abraham Bernstein, for useful  ... 
doi:10.2139/ssrn.442040 fatcat:6thgrhzuurcl7gizsxgqs3veba

HYPERBASE SYSTEMS: A STRUCTURED ARCHITECTURE

Michael Fuller, Ron Sacks-Davis, Ross Wilkinson, Justin Zobel, Eric Mackie
1992 Future Databases '92  
the e ciency of the underlying database system.  ...  We discuss how t h i s a r c hitecture might be implemented for a nested relational database system, and note research problems arising from such a n a r c hitecture.  ...  ACKNOWLEDGMENTS This work was partly supported by an Australian Research Council grant and partly supported by a n A I R S g r a n t from the Australian Government Department of Industry, T rade and Commerce  ... 
doi:10.1142/9789814503624_0026 fatcat:d5j3cqkc3rfitmdbxgnm7xnium

Architecture of network knowledge base of a complex military system

M. Yermoshyn, A. Poberezhnyi, O. Onopriyenko, M. Shuryha
2021 Radiotechnics  
changes to this structure; search and detection of contradictions in the graph of the semantic network according to available resources and time; checking the completeness of the graph of the mathematical  ...  The internal representation of knowledge in the knowledge base (formal programmatic and logical content) is advisable to implement in the form of an adjacency matrix, which displays the relationship and  ...  Modules have both semantic and grammatical information about individual semantic component situations for decision making.  ... 
doi:10.30837/rt.2021.1.204.09 fatcat:aasbneq5qjdszbpbswv3c23rx4
« Previous Showing results 1 — 15 out of 122 results