Search results for "Hazards"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Stephen H. Unger	A Row Assignment for Delay-Free Realizations of Flow Tables Without Essential Hazards.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
15	A. Bart Howe, Clarence L. Coates	Logic Hazards in Threshold Networks.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
15	Stephen H. Unger	A Row Assignment for Delay-Free Realizations of Flow Tables without Essential Hazards	SWAT	1966	DBLP DOI BibTeX RDF
15	Paul E. Wood	Hazards in Pulse Sequential Circuits.	IEEE Trans. Electron. Comput.	1964	DBLP DOI BibTeX RDF
15	Mitchell P. Marcus	Relay Essential Hazards.	IEEE Trans. Electron. Comput.	1963	DBLP DOI BibTeX RDF
15	Theodore M. Booth	Demonstrating hazards in sequential relay circuits	SWCT	1963	DBLP DOI BibTeX RDF
10	John Cieslewicz, Kenneth A. Ross, Kyoho Satsumi, Yang Ye	Automatic contention detection and amelioration for data-intensive operations.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	parallel programming, contention
10	Emily M. Zechman	Integrating complex adaptive system simulation and evolutionary computation to support water infrastructure threat management.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	threat management, water distribution security, agent-based modeling
10	Mark R. Lehto, Mary F. Lesch, William J. Horrey	Safety Warnings for Automation.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
10	Paola Salvati, Vinicio Balducci, Cinzia Bianchi, Fausto Guzzetti, Gabriele Tonelli	A WebGIS for the dissemination of information on historical landslides and floods in Umbria, Italy.	GeoInformatica	2009	DBLP DOI BibTeX RDF	Historical Catalogue, Umbria, Flood, WebGIS, Hazard, Landslide
10	Woojin Choi, Seok-Jun Park, Michel Dubois 0001	Accurate Instruction Pre-scheduling in Dynamically Scheduled Processors.	Trans. High Perform. Embed. Archit. Compil.	2009	DBLP DOI BibTeX RDF
10	Ettore Ferranti, Niki Trigoni, Mark Levene	Rapid exploration of unknown areas through dynamic deployment of mobile and stationary sensor nodes.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Area exploration, Sensor networks, Collaboration, Tags, Autonomous agents
10	Amar Gupta	The 24-Hour Knowledge Factory: Can It Replace the Graveyard Shift?	Computer	2009	DBLP DOI BibTeX RDF
10	Feng Shi 0010, Yiorgos Makris	Enhancing Simulation Accuracy through Advanced Hazard Detection in Asynchronous Circuits.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
10	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
10	Ebrahim Bagheri, Ali A. Ghorbani 0001	Astrolabe: A Collaborative Multiperspective Goal-Oriented Risk Analysis Methodology.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
10	Boyan Brodaric, Florian Probst	Enabling Cross-Disciplinary E-Science by Integrating Geoscience Ontologies with Dolce.	IEEE Intell. Syst.	2009	DBLP DOI BibTeX RDF
10	Masaaki Tsujitani, Masato Sakon	Analysis of Survival Data Having Time-Dependent Covariates.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
10	Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup	Semantically Enhanced Containers for Concurrent Real-Time Systems.	ECBS	2009	DBLP DOI BibTeX RDF
10	Huang-Chen Lee, Chun-Yu Lin, Shang-Wen Hsu, Chung-Ta King	On building mobility models for floating objects.	SenSys	2009	DBLP DOI BibTeX RDF	floating object, non-autonomous moving, wireless sensor networks, mobility model, network simulation, drift
10	Peter Thorvald, Dan Högberg, Keith Case	Incorporating Cognitive Aspects in Digital Human Modeling.	HCI (11)	2009	DBLP DOI BibTeX RDF	system ergonomics, context, cognition, Digital human modelling, ecological interface design, situatedness
10	Damian Dechev, Bjarne Stroustrup	Scalable nonblocking concurrent objects for mission critical code.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization
10	Yuan Tian 0003, Biao Song, Eui-nam Huh	A threat-based privacy preservation system in untrusted environment.	ICHIT	2009	DBLP DOI BibTeX RDF	threaten, privacy, purpose
10	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
10	Friedemann Bitsch, Ulrich Feucht, Huw Gough	Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety-related Application Conditions, SAC quality, conditions for defining SACs, process for defining and complying with SACs
10	Hikaru Kumagai, Soichiro Morishita, Kuniaki Kawabata, Hajime Asama, Taketoshi Mishima	Asbestos Detection Method with Frequency Analysis for Microscope Images.	ISVC (2)	2009	DBLP DOI BibTeX RDF
10	Bruno Defude, Thierry Delot, Dorsaf Zekri	Résumé de flux d'événements dans les réseaux inter-véhiculaires.	UbiMob	2009	DBLP DOI BibTeX RDF	inter-vehicles ad hoc networks, storage and data aggregation, data aggregation, spatio-temporal data, event streams, V2V
10	Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.	DISC	2009	DBLP DOI BibTeX RDF
10	Ozlem Dura, Asim Egemen Yilmaz	Software product line development: A review on practical issues and challenges.	ISCIS	2009	DBLP DOI BibTeX RDF
10	Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu	Efficient depth peeling via bucket sort.	High Performance Graphics	2009	DBLP DOI BibTeX RDF	depth peeling, max/min blending, multiple render target (MRT), order independent transparency (OIT), graphics hardware, histogram equalization, bucket sort
10	Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu	Single pass depth peeling via CUDA rasterizer.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
10	Marco Scaioni, Mario Alba, Renato Rota, Simona Caragliano	A GIS-Based SW Prototype for Emergency Preparedness Management Applied to a Real Case Study.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Hazard Management, Civil Protection, GIS, Emergency Management
10	Lihong Shi, Houming Fan, Pingquan Gao, Hanyu Zhang	Network Model and Optimization of Medical Waste Reverse Logistics by Improved Genetic Algorithm.	ISICA	2009	DBLP DOI BibTeX RDF	medical waste, reverse logistics network, genetic algorithm, mixed integer linear programming
10	Praveen Bhojwani, Rabi N. Mahapatra	Robust Concurrent Online Testing of Network-on-Chip-Based SoCs.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
10	Siva Kumar Sastry Hari, Vishnu Vardhan Reddy Konda, V. Kamakoti 0001, Vivekananda M. Vedula, K. S. Maneperambil	Automatic Constraint Based Test Generation for Behavioral HDL Models.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
10	Cecília De la Garza, Annie Weill-Fassina, Maud Kaplan	Integrating human factors in freight interoperability safety design.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF	Ecological design, Safe organisational systems, Human factors, Railways, Ergonomic analysis
10	Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht	Using an assurance case to support independent assessment of the transition to a new GPS ground control system.	DSN	2008	DBLP DOI BibTeX RDF
10	Kiran Pamnany, John Jannotti	Elyze: enabling safe parallelism in event-driven servers.	PASTE	2008	DBLP DOI BibTeX RDF	concurrency scheduling, static analysis
10	Faisal M. Khan, Valentina Bayer Zubek	Support Vector Regression for Censored Data (SVRc): A Novel Tool for Survival Analysis.	ICDM	2008	DBLP DOI BibTeX RDF
10	Ettore Ferranti, Niki Trigoni	Robot-assisted discovery of evacuation routes in emergency scenarios.	ICRA	2008	DBLP DOI BibTeX RDF
10	Ai Chen, Ten-Hwang Lai, Dong Xuan	Measuring and guaranteeing quality of barrier-coverage in wireless sensor networks.	MobiHoc	2008	DBLP DOI BibTeX RDF	wireless sensor networks, measuring, quality, repairing, barrier coverage
10	Azzam F. Taktak, Antonio Eleuteri, M. S. Hane Aung, Paulo J. G. Lisboa, Laurence Desjardins, Bertil E. Damato	External Validation of a Bayesian Neural Network Model in Survival Analysis.	ICMLA	2008	DBLP DOI BibTeX RDF
10	Karl Iagnemma, Shingo Shimoda, Zvi Shiller	Near-optimal navigation of high speed mobile robots on uneven terrain.	IROS	2008	DBLP DOI BibTeX RDF
10	Ettore Ferranti, Niki Trigoni, Mark Levene	HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes.	IROS	2008	DBLP DOI BibTeX RDF
10	De-Jiu Chen, Rolf Johansson 0002, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren	Modelling Support for Design of Safety-Critical Automotive Embedded Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Automotive Embedded Systems, Safety Case, Dependability, Model-Based Development, Safety Analysis
10	Christian Denger, Mario Trapp, Peter Liggesmeyer	SafeSpection - A Systematic Customization Approach for Software Hazard Identification.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety
10	Cheng-Tao Hsieh, Jason Cong, Zhiru Zhang, Shih-Chieh Chang	Behavioral synthesis with activating unused flip-flops for reducing glitch power in FPGA.	ASP-DAC	2008	DBLP DOI BibTeX RDF
10	Xiaolei Li, Jin Tian 0002, Tingdi Zhao	An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200.	ARES	2008	DBLP DOI BibTeX RDF	zonal safety analysis (ZSA), hazard source, undercarriage, safety, coupling
10	Masilamani Vedhanayagam, Kamala Krithivasan	A Min-Cost-Max-Flow Based Algorithm for Reconstructing Binary Image from Two Projections Using Similar Images.	IWCIA	2008	DBLP DOI BibTeX RDF	binary matrix reconstruction, min cost integral max flow problem, computed tomography, discrete tomography
10	Oliver Kreylos, Gerald W. Bawden, Louise H. Kellogg	Immersive Visualization and Analysis of LiDAR Data.	ISVC (1)	2008	DBLP DOI BibTeX RDF
10	Ioannis Riakiotakis, Georgios I. Goumas, Nectarios Koziris, Fiori-Anastasia Metallinou, Ioannis A. Daglis	Evaluation of dynamic scheduling methods in simulations of storm-time ion acceleration.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Marcus Furuholmen, Kyrre Glette, Jim Tørresen, Mats Høvin	Indirect Online Evolution - A Conceptual Framework for Adaptation in Industrial Robotic Systems.	ICES	2008	DBLP DOI BibTeX RDF
10	Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms	Correct-by-construction microarchitectural pipelining.	ICCAD	2008	DBLP DOI BibTeX RDF
10	M. Ben Swarup, P. Seetha Ramaiah	An Approach to Modeling Software Safety.	SNPD	2008	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
10	Zhanshan (Sam) Ma, Axel W. Krings, Robert E. Hiromoto	Multivariate Survival Analysis (II): An Overview of Multi-State Models in Biomedicine and Engineering Reliability.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Multivariate Survival Analysis, Multi-State Modeling, Flowgraph Model, Multi-state Reliability Model, Markov Chain
10	Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria	Modeling and simulation of complex heterogeneous systems.	ISCAS	2008	DBLP DOI BibTeX RDF
10	Daniel Rairigh, Andrew J. Mason, Michael P. Rowe, Edward T. Zellers	Baseline resistance cancellation circuit for high resolution thiolate-monolayer-protected gold nanoparticle vapor sensor arrays.	ISCAS	2008	DBLP DOI BibTeX RDF
10	Isaac J. Gabriel, Easwar A. Nyshadham	A Cognitive Map of People's Online Risk Perceptions and Attitudes: An Empirical Study.	HICSS	2008	DBLP DOI BibTeX RDF
10	Chien-Cheng Chou, Chine-Ta Chen, Ssu-Min Tseng, Jyh-Dong Lin	A Spatiotemporal Model for Persisting Critical Infrastructure Interdependencies.	FSKD (4)	2008	DBLP DOI BibTeX RDF
10	Markus Wolff, Hartmut Asche	Geospatial Modelling of Urban Security: A Novel Approach with Virtual 3D City Models.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	geovisualisation, civil security, GIS, 3D city models
10	Junfeng Xu, Keqiu Li, Yanming Shen, Jian Liu	An Energy-Efficient Waiting Caching Algorithm in Wireless Sensor Networks.	EUC (1)	2008	DBLP DOI BibTeX RDF
10	Aristides Mpitziopoulos, Charalampos Konstantopoulos, Damianos Gavalas, Grammati E. Pantziou	Hazard monitoring for visually impaired people enabled by wireless sensor networking technology.	PETRA	2008	DBLP DOI BibTeX RDF	hazard monitoring, itinerary design, wireless sensor networks, mobile agents, healthcare, assistive environments, itineraries
10	Helen T. Sullivan, Markku T. Häkkinen, Dana Piechocinski	Improving Participation, Accessibility and Compliance for Campus-Wide Mobile Emergency Alerting Systems.	Mobile Response	2008	DBLP DOI BibTeX RDF	Emergency Notifications, Mobile Alerts, Mobile Devices, Accessibility
10	Roland Geraerts, Arno Kamphuis, Ioannis Karamouzas, Mark H. Overmars	Using the Corridor Map Method for Path Planning for a Large Number of Characters.	MIG	2008	DBLP DOI BibTeX RDF
10	Seong-Tae Kim, Pyung Hun Chang	Safety-Ensuring Systematic Design for Service Robots.	ICOST	2008	DBLP DOI BibTeX RDF	Safety-ensuring design, Target-Oriented Design (TOD), Reliability, Risk analysis, Service robot
10	Guangyan Huang, Jing He 0004, Zhiming Ding	Wireless Video-Based Sensor Networks for Surveillance of Residential Districts.	APWeb	2008	DBLP DOI BibTeX RDF	mining video stream, contrast data mining, sensor networks
10	Dana Kulic, Elizabeth A. Croft	Pre-collision safety strategies for human-robot interaction.	Auton. Robots	2007	DBLP DOI BibTeX RDF	Robot safety, Affective state estimation, Human-robot interaction, Physiological signals
10	Homayoun Seraji, Barry Brian Werger	Theory and experiments in SmartNav rover navigation.	Auton. Robots	2007	DBLP DOI BibTeX RDF	Rovers, Natural terrain, Fuzzy logic, Navigation
10	Scott E. Donaldson, Stanley G. Siegel	Enriching Your Project Planning: Tying Risk Assessment to Resource Estimation.	IT Prof.	2007	DBLP DOI BibTeX RDF
10	Vincent Hovelaque, L. G. Soler, S. Hafsa	Supply chain organization and e-commerce: a model to analyze store-picking, warehouse-picking and drop-shipping.	4OR	2007	DBLP DOI BibTeX RDF	MSC Classification 90B50
10	Ronald F. DeMara, Yili Tseng, Abdel Ejnioui	Tiered Algorithm for Distributed Process Quiescence and Termination Detection.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Parallel Processing, Synchronization, Distributed Programming, Multitasking, Distributed Architectures
10	Ling Zhuo, Gerald R. Morris, Viktor K. Prasanna	High-Performance Reduction Circuits Using Deeply Pipelined Operators on FPGAs.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	G.1.0.g Parallel algorithms, C.3.e Reconfigurable hardware
10	Y. Yi, In-Cheol Park	High-Speed H.264/AVC CABAC Decoding.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
10	Yung-Chieh Lin, Feng Lu 0002, Kwang-Ting Cheng	Multiple-Fault Diagnosis Based On Adaptive Diagnostic Test Pattern Generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
10	Aviral Shrivastava, Sanghyun Park, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek	Automatic Design Space Exploration of Register Bypasses in Embedded Processors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
10	Panagiotis G. Ipeirotis, Alexandros Ntoulas, Junghoo Cho, Luis Gravano	Modeling and managing changes in text databases.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	text database selection, distributed information retrieval, Metasearching
10	Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton	A Hybrid View in a Laparoscopic Surgery Training System.	ECBS	2007	DBLP DOI BibTeX RDF
10	Jeffrey S. Simonoff, Carlos E. Restrepo, Rae Zimmerman, Zvia Naphtali	Analysis of Electrical Power and Oil and Gas Pipeline Failures.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	Electrical power, oil and gas pipelines, count regression models, risk
10	Ettore Ferranti, Niki Trigoni, Mark Levene	Brick & Mortar: an on-line multi-agent exploration algorithm.	ICRA	2007	DBLP DOI BibTeX RDF
10	Roland Geraerts, Mark H. Overmars	The Corridor Map Method: Real-Time High-Quality Path Planning.	ICRA	2007	DBLP DOI BibTeX RDF
10	Ladislav Hluchý, Ondrej Habala, Marian Babik, Michal Laclavik, Zoltán Balogh 0001, Emil Gatial	Knowledge-based Platform for Environmental Risk Management.	ISPDC	2007	DBLP DOI BibTeX RDF
10	Murray Crease, Jo Lumsden, Bob Longworth	A technique for incorporating dynamic paths in lab-based mobile evaluations.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	lab-based evaluation technique, mobile technology
10	Katja Karrer, Matthias Roetting	Effects of Driver Fatigue Monitoring - An Expert Survey.	HCI (13)	2007	DBLP DOI BibTeX RDF	sleepiness, assistance syst-em, expert survey, behavioral adaptation, monitoring, driver, fatigue, drowsiness
10	Katarzyna Lis, Jerzy Olszewski	Economic and Social Condition of the Software Quality Assessment.	HCI (5)	2007	DBLP DOI BibTeX RDF	software quality assessment
10	M. Emília C. Duarte, Francisco Rebelo	Virtual Reality in the Study of Warnings Effectiveness.	HCI (17)	2007	DBLP DOI BibTeX RDF	Virtual Reality, Interaction, Effectiveness, Behaviour, Warnings
10	José A. Borges, Néstor J. Rodríguez, Carlos Pérez, Gilberto Crespo	Usability Issues in the Development of a User Interface for an Alerts and Reminders System for a Nursing Documentation Application.	HCI (4)	2007	DBLP DOI BibTeX RDF	electronic medical record systems, alerts and reminders systems, graphical user interfaces, usability testing, usability engineering
10	Mark Ollis, Wesley H. Huang, Michael Happold	A Bayesian approach to imitation learning for robot navigation.	IROS	2007	DBLP DOI BibTeX RDF
10	Bin Xu 0007, Daniel J. Stilwell, Aditya S. Gadre, Andrew Kurdila	Analysis of local observability for feature localization in a maritime environment using an omnidirectional camera.	IROS	2007	DBLP DOI BibTeX RDF
10	Mark Hartong, Rajni Goel, Csilla Farkas, Duminda Wijesekera	PTC-VANET Interactions to Prevent Highway Rail Intersection Crossing Accidents.	VTC Spring	2007	DBLP DOI BibTeX RDF
10	Marco Casale-Rossi, Andrzej J. Strojwas, Robert C. Aitken, Antun Domic, Carlo Guardiani, Philippe Magarshack, Douglas Pattullo, Joseph Sawicki	DFM/DFY: should you trust the surgeon or the family doctor?	DATE	2007	DBLP DOI BibTeX RDF
10	Lars Grunske, Robert Colvin, Kirsten Winter	Probabilistic Model-Checking Support for FMEA.	QEST	2007	DBLP DOI BibTeX RDF	Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety
10	Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
10	Hans Russo, Andreas Turk	Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.	SAFECOMP	2007	DBLP DOI BibTeX RDF
10	Marco Bozzano, Alessandro Cimatti, Francesco Tapparo	Symbolic Fault Tree Analysis for Reactive Systems.	ATVA	2007	DBLP DOI BibTeX RDF
10	Christoph Sklarczyk, Horst Perner, Hans Rieder, Walter Arnold, Petra Perner	Image Acquisition and Analysis of Hazardous Biological Material in Air.	MDA	2007	DBLP DOI BibTeX RDF	Microscopic image acquisition, microbiological probe handling, case-based object recognition, image analysis, case-based reasoning, image interpretation
10	Kevin W. Li, Jason K. Levy, Patrick H. Buckley, John Belec	A multiple-criteria group decision support system for risk reduction and community resilience in the fraser lowlands eco-region.	SMC	2007	DBLP DOI BibTeX RDF
10	Christian Grünwald, Jorge Marx Gómez	Integrating Environmental Information with Systems of Factory Planning.	ITEE	2007	DBLP DOI BibTeX RDF
10	Yumiko Nara	Information Literacy and Everyday Life Risks.	KES (2)	2007	DBLP DOI BibTeX RDF	everyday life risk, risk management, information, literacy
10	Tom Vander Aa, Bingfeng Mei, Bjorn De Sutter	A backtracking instruction scheduler using predicate-based code hoisting to fill delay slots.	CASES	2007	DBLP DOI BibTeX RDF	VLIW scheduling, code hoisting, predication
10	Janusz A. Brzozowski, Yuli Ye	Simulation of Gate Circuits with Feedback in Multi-Valued Algebras.	ISMVL	2007	DBLP DOI BibTeX RDF