2015 share record
persistent URL:
Sagar Raina , Blair Taylor , Siddharth Kaza : Security Injections 2.0: Increasing Engagement and Faculty Adoption Using Enhanced Secure Coding Modules for Lower-Level Programming Courses. World Conference on Information Security Education 2015 : 64-74 export record
dblp key:
conf/iukm/Sariddichainunta15 share record
persistent URL:
Puchit Sariddichainunta , Masahiro Inuiguchi : An Effective Method for Optimality Test Over Possible Reaction Set for Maximin Solution of Bilevel Linear Programming with Ambiguous Lower-Level Objective Function. IUKM 2015 : 89-101 share record
persistent URL:
Sagar Raina , Blair Taylor , Siddharth Kaza : Security Injections 2.0: Using Segmentation, Instant-feedback, and Auto-grading to Enhance Secure Coding Modules for Lower-level Programming Courses (Abstract Only). SIGCSE 2015 : 687 2014 share record
persistent URL:
Björn Bartels : A mechanized verification environment for real-time process algebras and low-level programming languages. Berlin Institute of Technology, 2014 share record
persistent URL:
Wenlong Fu , Mark Johnston , Mengjie Zhang : Low-Level Feature Extraction for Edge Detection Using Genetic Programming. IEEE Trans. Cybern. 44 (8 ) : 1459-1472 (2014 )share record
persistent URL:
Marcus Chang , James Crosby , Hugo Vincent : Yottos operating system connecting low-power devices with high-level programming. SenSys 2014 : 336-337 share record
persistent URL:
Suraya Masrom , Siti Zaleha Zainal Abidin , Nasiroh Omar : Easy and Concise Programming for Low-Level Hybridization of PSO-GA. SoMeT (Selected Papers) 2014 : 25-38 2013 share record
persistent URL:
Diana Fanghänel : A bilevel programming problem with maximization of a supermodular function in the lower level. J. Comb. Optim. 26 (3 ) : 568-584 (2013 )2012 share record
persistent URL:
Andrey Shadrin : Mixed low- and high level programming language semantics and automated verification of a small hypervisor. Saarland University, 2012 share record
persistent URL:
Yi Lin , Stephen M. Blackburn : Bypassing portability pitfalls of high-level low-level programming. VMIL@SPLASH 2012 : 23-32 2011 export record
dblp key:
journals/caee/BolanakisEGK11 share record
persistent URL:
Dimosthenis E. Bolanakis , Georgios A. Evangelakis , Euripidis Glavas , Konstantinos T. Kotsis : A teaching approach for bridging the gap between low-level and high-level programming using assembly language learning for small microcontrollers. Comput. Appl. Eng. Educ. 19 (3 ) : 525-537 (2011 )share record
persistent URL:
Shengyuan Wang , Yuan Dong : A verifiable low-level concurrent programming model based on colored Petri nets. Sci. China Inf. Sci. 54 (10 ) : 2013-2027 (2011 )share record
persistent URL:
Ralf Mitschke , Andreas Sewe , Mira Mezini : Magic for the masses: safer high-level low-level programming through customizable static analyses. MISS@AOSD 2011 : 13-17 2009 export record
dblp key:
conf/ersa/VanderbauwhedeMCP09 share record
persistent URL:
Wim Vanderbauwhede , Martin Margala , Sai Rahul Chalamalasetti , Sohan Purohit : Programming Model and Low-level Language for a Coarse-Grained Reconfigurable Multimedia Processor. ERSA 2009 : 195-201 export record
dblp key:
conf/vee/FramptonBCGGMS09 share record
persistent URL:
Daniel Frampton , Stephen M. Blackburn , Perry Cheng , Robin Garner , David Grove , J. Eliot B. Moss , Sergey I. Salishev : Demystifying magic: high-level low-level programming. VEE 2009 : 81-90 2008 export record
dblp key:
phd/basesearch/Axelsson08 share record
persistent URL:
Emil Axelsson : Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction. Chalmers University of Technology, Gothenburg, Sweden, 2008 2007 export record
dblp key:
journals/integration/SrinivasanC07 share record
persistent URL:
Krishnan Srinivasan , Karam S. Chatha : Integer linear programming and heuristic techniques for system-level low power scheduling on multiprocessor architectures under throughput constraints. Integr. 40 (3 ) : 326-354 (2007 )share record
persistent URL:
Mehrdad Reshadi , Daniel Gajski : Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems. DATE 2007 : 1337-1342 share record
persistent URL:
Jeremy Condit , Matthew Harren , Zachary R. Anderson , David Gay , George C. Necula : Dependent Types for Low-Level Programming. ESOP 2007 : 520-535 share record
persistent URL:
Broderick Crawford , Carlos Castro , Éric Monfroy : Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming. IWINAC (2) 2007 : 317-327 2006 share record
persistent URL:
Ayalew Getachew Mersha , Stephan Dempe : Linear bilevel programming with upper level constraints depending on the lower level solution. Appl. Math. Comput. 180 (1 ) : 247-254 (2006 )share record
persistent URL:
Kevin Hammond , Gudmund Grov , Greg Michaelson , Andrew Ireland : Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006 : 91-107 2005 share record
persistent URL:
Jean-Christophe Baillie : URBI: towards a universal robotic low-level programming language. IROS 2005 : 820-825 2004 share record
persistent URL:
Chia-Chu Chiang : Low-level language constructs considered harmful for distributed parallel programming. ACM Southeast Regional Conference 2004 : 279-284 share record
persistent URL:
Michael LeMay , Jack Tan : Abstracting Low-Level Network Programming with ACE, A Pattern-Oriented Network Programming Framework. Software Engineering Research and Practice 2004 : 789-794 2003 export record
dblp key:
conf/eurographics/Kraus03 share record
persistent URL:
Martin Kraus : Low-Level Vertex Programming. Eurographics (Tutorials) 2003 export record
dblp key:
conf/eurographics/Kraus03a share record
persistent URL:
Martin Kraus : Low-Level Pixel Programming. Eurographics (Tutorials) 2003 2002 share record
persistent URL:
Yi Pan : Teaching Parallel Programming Using Both High-Level and Low-Level Languages. International Conference on Computational Science (3) 2002 : 888-897 share record
persistent URL:
Yi Pan : High-Level vs Low-Level Parallel Programming for Scientific Computing. IPDPS 2002 2001 export record
dblp key:
journals/corr/cs-DC-0110058 share record
persistent URL:
Yi Pan : Teaching Parallel Programming Using Both High-Level and Low-Level Languages. CoRR cs.DC/0110058 (2001 )