Filters








110,690 Hits in 6.0 sec

Some Assembly Required - Program Analysis of Embedded System Code

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
2008 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation  
In most cases those languages are closely interwoven and the assembly is embedded in the C/C++ code. Verification of such programs requires the integrated analysis of both languages at the same time.  ...  Programming embedded system software typically involves more than one programming language.  ...  In this work we presented an approach to extend static program analysis of C/C++ programs to support embedded ARM assembly code.  ... 
doi:10.1109/scam.2008.15 dblp:conf/scam/FehnkerHRS08 fatcat:3hiar3vkfrcrfnnmvpxx3jbnw4

Creating interactive virtual humans: some assembly required

J. Gratch, J. Rickel, E. Andre, J. Cassell, E. Petajan, N. Badler
2002 IEEE Intelligent Systems  
Discusses some of the key issues that must be addressed in creating virtual humans, or androids.  ...  Assembling a virtual human is still a daunting task, but the building blocks are getting bigger and better every day. Comments  ...  We also acknowledge the support of the US Air Force F33615-99-D-6001 (D0 #8), Office of Naval Research K-5-55043/3916-1552793, NSF IIS99-00297, and NASA NRA NAG 9-1279.  ... 
doi:10.1109/mis.2002.1024753 fatcat:s33kad63ijglda7nebjhi4e254

Some Assembly Required: Player Mental Models of Videogame Avatars

Jaime Banks, Nicholas David Bowman
2021 Frontiers in Psychology  
Secondary analysis of N = 1,201 avatar descriptions parceled them by PAR type (avatars as asocial Objects, psychologically merged extensions of Me, hybrid me/other Symbiotes, and authentically social Other  ...  Aggregated descriptions for each PAR type were subjected to semantic network analysis to identify patterns in salient avatar components, and then qualitatively compared across the four PARs.  ...  Keywords: avatars, videogames, mental models, assemblage, semantic network analysis Citation: Banks J and Bowman ND (2021) Some Assembly Required: Player Mental Models of Videogame Avatars. Front.  ... 
doi:10.3389/fpsyg.2021.701965 fatcat:xh6n6ukqrzg2nargrl3rj23hxy

Some assembly required: How scientific explanations are constructed during clinical interviews

Bruce L. Sherin, Moshe Krakowski, Victor R. Lee
2011 Journal of Research in Science Teaching  
We also gratefully acknowledge the comments of the editors and anonymous reviewers on an earlier draft of this manuscript.  ...  Thus, in the ideal case, our analysis of student reasoning would be embedded in a more expansive model of the interviewing interaction; it would include, for example, some treatment of the knowledge of  ...  What is at issue, however, are some gross properties of this conceptual system.  ... 
doi:10.1002/tea.20455 fatcat:renralanhjbcrh7wwwjuign3ya

S TRATEG Y JOURNAL OF SMALL BUSINESS APPROACHING THE PSED: "SOME ASSEMBLY REQUIRED"

Kelly Shaver, Amy Davis, Mark Kindy, Carrie Blair
Journal of Small Business Strategy   unpublished
This article presents code (both SPSS and STATA) that can be used to check on the inclusion criteria, to renormalize weights for subgroup analysis, and to combine the data for PSED I with those for PSED  ...  As of this writing there are over 150 publications based on the PSED, but there could be even more if some of the critical data cleaning and data combining instructions were widely available.  ...  In short, we hope we have provided an abbreviated diagram to help reduce the frustration of using the PSED given that there is "some assembly required." Kelly G. Shaver is Professor of  ... 
fatcat:au7nqigrqfdzdb4k642p2pluti

Architecture of Embedded System Software

Dongdong Wang
2008 Computer and Information Science  
This is even more true for systems software where non-ANSI compliant constructs are used, hardware is addressed directly and assembly code is embedded.  ...  While it cannot guarantee full functional correctness, it can be a valuable tool to increase the reliability and trustworthiness of real-life system code.  ...  The combined analysis of C/C++ code with embedded assembly code enhances, in addition, the precision of the analysis.  ... 
doi:10.5539/cis.v1n4p155 fatcat:3wnrnvglujghxbqcbalij5h2om

Code Compaction of an Operating System Kernel

Haifeng He, John Trimble, Somu Perianayagam, Saumya Debray, Gregory Andrews
2007 International Symposium on Code Generation and Optimization (CGO'07)  
We use a novel "approximate decompilation" technique to apply source-level program analysis to hand-written assembly code.  ...  General-purpose operating systems, such as Linux, are increasingly being used in embedded systems.  ...  Acknowledgements Discussions with Dominique Chanet were very helpful in improving our understanding of his work as well as improving our own.  ... 
doi:10.1109/cgo.2007.3 dblp:conf/cgo/HeTPDA07 fatcat:q57pyez7rbhynp6u3z4kubppiy

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development [chapter]

Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper
2009 Lecture Notes in Computer Science  
A Worst-Case Execution Time (WCET) analysis finds upper bounds for the execution time of programs.  ...  Traditionally, WCET analysis is applied only in the late stages of embedded system software development.  ...  An embedded system project may involve a variety of source code formats, including different high-level languages, C or C++ code, or even assembler.  ... 
doi:10.1007/978-3-642-10265-3_28 fatcat:pe44znpktzhs3ep3mcwizoueky

Compiler design issues for embedded processors

R. Leupers
2002 IEEE Design & Test of Computers  
So, why is assembly programming still common in embedded-system design? The reason lies in embedded systems' high-efficiency requirements.  ...  For processor-based embedded systems, however, the use of compilers is less common. Instead, designers still use assembly language to program many embedded applications.  ...  As embedded applications increase in complexity, assembly programming will no longer meet short time-tomarket requirements.  ... 
doi:10.1109/mdt.2002.1018133 fatcat:jzlzvzruknhkrisdxkjkhohkwq

Eliminating stack overflow by abstract interpretation

John Regehr, Alastair Reid, Kirk Webb
2005 ACM Transactions on Embedded Computing Systems  
without inlining, and to 68% of the requirement of a system compiled with aggressive whole-program inlining that is not directed towards reducing stack usage.  ...  Our first contribution is a method for statically guaranteeing stack safety by performing whole-program analysis, using an approach based on context-sensitive abstract interpretation of machine code.  ...  Acknowledgments: The authors would like to thank Dennis Brylow, Eric Eide, Matthew Flatt, Wilson Hsieh, Jay Lepreau, and Michael Nahas for providing helpful feedback on drafts of this paper.  ... 
doi:10.1145/1113830.1113833 fatcat:33iivqgjcndb5oyrwyenczggvq

Eliminating Stack Overflow by Abstract Interpretation [chapter]

John Regehr, Alastair Reid, Kirk Webb
2003 Lecture Notes in Computer Science  
without inlining, and to 68% of the requirement of a system compiled with aggressive whole-program inlining that is not directed towards reducing stack usage.  ...  Our first contribution is a method for statically guaranteeing stack safety by performing whole-program analysis, using an approach based on context-sensitive abstract interpretation of machine code.  ...  Acknowledgments: The authors would like to thank Dennis Brylow, Eric Eide, Matthew Flatt, Wilson Hsieh, Jay Lepreau, and Michael Nahas for providing helpful feedback on drafts of this paper.  ... 
doi:10.1007/978-3-540-45212-6_20 fatcat:dhlzkmegpvanfesqldqgnhpkke

VISTA

Wankang Zhao, Douglas L. Jones, Baosheng Cai, David Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan, Jason D. Hiser, Jack W. Davidson, Kyle Gallivan
2002 Proceedings of the joint conference on Languages, compilers and tools for embedded systems software and compilers for embedded systems - LCTES/SCOPES '02  
Software designers face many challenges when developing applications for embedded systems. A major challenge is meeting the conflicting constraints of speed, code density, and power consumption.  ...  applied transformations, and (4) view the low-level program representation graphically. vista can be used by embedded systems developers to produce applications, by compiler writers to prototype and debug  ...  There are also several systems that provide some visualization support for the high-level parallelization of programs.  ... 
doi:10.1145/513829.513857 dblp:conf/lctrts/ZhaoCWBEYHDGJ02 fatcat:ufpzdwhofrdovpwi2222fsbrri

Experience report

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
2009 Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09  
Safety-critical embedded programs don't escape this trend. In the context of safety-critical embedded systems, the development processes follow strict guidelines and requirements.  ...  The development quality assurance applies as much to the final embedded code, as to the tools themselves.  ...  Actually, not only does the executed object code of an OCaml program consist of the generated code but also includes some service assembly code, the runtime library and the so-called standard OCaml libraries  ... 
doi:10.1145/1596550.1596582 dblp:conf/icfp/PaganoAMCCWMC09 fatcat:xlzpve42jrgkvceaww3kjnyzem

Control flow optimization in loops using interval analysis

Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
2008 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems - CASES '08  
Embedded programming training today commonly involves numerous low-level details of a particular microcontroller.  ...  Yet structured embedded programming is becoming more necessary as embedded systems grow in complexity. We introduce a virtual microcontroller to address this problem.  ...  While programmable entirely in C, some instructors may wish to introduce the instruction set toolearning to program and read assembly code is still a common part of training, as assembly code is still  ... 
doi:10.1145/1450095.1450120 dblp:conf/cases/GhodratGN08 fatcat:vybo65nuw5gqfao6mh3ov2krue

Experience report

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
2009 SIGPLAN notices  
Safety-critical embedded programs don't escape this trend. In the context of safety-critical embedded systems, the development processes follow strict guidelines and requirements.  ...  The development quality assurance applies as much to the final embedded code, as to the tools themselves.  ...  Actually, not only does the executed object code of an OCaml program consist of the generated code but also includes some service assembly code, the runtime library and the so-called standard OCaml libraries  ... 
doi:10.1145/1631687.1596582 fatcat:u6jzllmwlnb4vhepolsuzmorkm
« Previous Showing results 1 — 15 out of 110,690 results