Search results for "sed"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Hervé Blanchon, Christian Boitet	Annotating Documents by Their Intended Meaning to Make Them Self Explaining: An Essential Progress for the Semantic Web.	FQAS	2006	DBLP DOI BibTeX RDF
78	Dagmar Köhn, Nicolas Le Novère	SED-ML - An XML Format for the Implementation of the MIASE Guidelines.	CMSB	2008	DBLP DOI BibTeX RDF
61	Yi Zhen, Dit-Yan Yeung	SED: supervised experimental design and its application to text classification.	SIGIR	2010	DBLP DOI BibTeX RDF	supervised experimental design, active learning, text classification, convex optimization
55	Toshio Nakatani, Kemal Ebcioglu	Making Compaction-Based Parallelization Affordable.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	compaction-based parallelization, code explosion problem, software lookahead heuristic, VLIW parallelizing compiler, branch-intensive code, AIX utilities, fgrep, sed, parallel programming, parallel architectures, compress, program, sort, instruction-level parallelism, software pipelining, pipeline processing, instruction sets, loop parallelization, yacc
53	Bin Lu, Leon Sterling, Kuldar Taveter	Supporting Evolving Multi-agent Systems with a System Evolution Directory.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	system evolution directory, multi-agent system, evolution, maintenance
53	Carla Lopes, Fernando Perdigão	Event Detection by HMM, SVM and ANN: A Comparative Study.	PROPOR	2008	DBLP DOI BibTeX RDF	SVM, HMM, ANN, Speech recognition, event detection
53	Radek Dobias, Hana Kubátová	FPGA Based Design of the Railway's Interlocking Equipments.	DSD	2004	DBLP DOI BibTeX RDF
50	Zhengdong Kang	Hardware acceleration of the SED algorithm for Biomolecular activity predictionBiomolecular activity algorithm (SED) uses FPGA parallel programmability to achieve hardware acceleration.	ISAIMS	2023	DBLP DOI BibTeX RDF
50	Richard R. Adams	SED-ED, a workflow editor for computational biology experiments written in SED-ML.	Bioinform.	2012	DBLP DOI BibTeX RDF
45	Arnaldo Vergara-Romero, Petr Sed'a, Rafael Sorhegui-Ortega, Lisette Garnica-Jarrin	Ecuadorian Companies' Assets, Income, and Corporate Social Responsibility.	ICAI Workshops	2023	DBLP BibTeX RDF
45	Arnaldo Vergara-Romero, Petr Sed'a, César Pozo-Estupiñan, Lisette Garnica-Jarrin	Regarding the Selection of a Trading Strategy in Efficient Markets.	ICAI Workshops	2023	DBLP BibTeX RDF
45	Sed S. Saad	Application of intelligent technologies to safety and medical services in Japan: a patient-centric issue?	Int. J. Netw. Virtual Organisations	2009	DBLP DOI BibTeX RDF
36	Jérémie Gerhardt, Jon Yngve Hardeberg	Simple Comparison of Spectral Color Reproduction Workflows.	SCIA	2009	DBLP DOI BibTeX RDF	Spectral color reproduction, spectral gamut mapping, colorant separation, spectral vector error diffusion, halftoning
36	Chin-Chen Chang 0001, Kuo-Lung Hung	An Efficient Euclidean Distance Estimation Scheme for Accelerating VQ Encoding.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
36	Yongtao Wang, Kaushik Roy 0001	A novel low-complexity method for parallel multiplierless implementation of digital FIR filters.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
36	Barbara Moskal	Female computer science doctorates: what does the survey of earned doctorates reveal?	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
36	Robert E. Loesh, Arthur B. Gosnell, Richard M. Wyskida, James D. Johannes, Thomas F. Benoist	An Engineering Approach to Critical Software Certification.	HICSS	1999	DBLP DOI BibTeX RDF
25	R. Lakshmana Kumar, S. Jayanthi, BalaAnand Muthu, C. B. Sivaparthipan 0001	An automatic anomaly application detection system in mobile devices using FL-HTR-DBN and SKLD-SED K means algorithms.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
25	Bingchen Li, Xin Li, Hanxin Zhu, Yeying Jin, Ruoyu Feng, Zhizheng Zhang 0004, Zhibo Chen 0001	SeD: Semantic-Aware Discriminator for Image Super-Resolution.	CoRR	2024	DBLP DOI BibTeX RDF
25	Jing Liu, Jianguo Xie, Biao Liu, Liwei Xu, Xiaoming Chen, Huamin Feng	SED-SGC: A scalable, efficient, and distributed secure group communication scheme based on superlattice PUF.	Comput. Networks	2023	DBLP DOI BibTeX RDF
25	Lena Cibulski, Thorsten May, Johanna Schmidt, Jörn Kohlhammer	COMPO*SED: Composite Parallel Coordinates for Co-Dependent Multi-Attribute Choices.	IEEE Trans. Vis. Comput. Graph.	2023	DBLP DOI BibTeX RDF
25	Sankalp Gilda	Beyond mirkwood: Enhancing SED Modeling with Conformal Predictions.	CoRR	2023	DBLP DOI BibTeX RDF
25	Bin Xie, Jiale Cao, Jin Xie 0005, Fahad Shahbaz Khan, Yanwei Pang	SED: A Simple Encoder-Decoder for Open-Vocabulary Semantic Segmentation.	CoRR	2023	DBLP DOI BibTeX RDF
25	Kang Li, Yan Song 0001, Li-Rong Dai 0001, Ian McLoughlin 0001, Xin Fang, Lin Liu 0017	AST-SED: An Effective Sound Event Detection Method Based on Audio Spectrogram Transformer.	CoRR	2023	DBLP DOI BibTeX RDF
25	Kang Li, Yan Song 0001, Li-Rong Dai 0001, Ian McLoughlin 0001, Xin Fang, Lin Liu 0017	AST-SED: An Effective Sound Event Detection Method Based on Audio Spectrogram Transformer.	ICASSP	2023	DBLP DOI BibTeX RDF
25	Ming Feng, Kele Xu, Hengxing Cai	IFS-SED: Incremental Few-Shot Sound Event Detection Using Explicit Learning and Calibration.	ACM Multimedia	2023	DBLP DOI BibTeX RDF
25	Lujie Peng, Junyu Yang, Jianbiao Xiao, Mingxue Yang, Yujiang Wang 0003, Haojie Qin, Xiaorong Li, Jun Zhou 0017	ULSED: An ultra-lightweight SED model for IoT devices.	J. Parallel Distributed Comput.	2022	DBLP DOI BibTeX RDF
25	Mingxue Yang, Lujie Peng, Li Liu, Yujiang Wang 0003, Zhenyuan Zhang, Zhengxi Yuan, Jun Zhou 0017	LCSED: A low complexity CNN based SED model for IoT devices.	Neurocomputing	2022	DBLP DOI BibTeX RDF
25	Jianguo Wang, Tongsan Wang, Yuna Shi, Diwei Xu, Yutian Chen, Jie Wu	Metaverse, SED Model, and New Theory of Value.	Complex.	2022	DBLP DOI BibTeX RDF
25	Felisa M. Córdova, Fernando Cifuentes, Catalina Castro, Cristofer Hinostroza	Analysis of the purchasing decision-making process in e-commerce using SED Method from Neuromarketing.	ITQM	2022	DBLP DOI BibTeX RDF
25	Boukhari Mohammed, Ghadban Ismail, Bouzidi Riad	Sensorless Scalar Control Based On SOGI-FLL for an Induction Motor U sed in Electric Vehicle.	SSD	2022	DBLP DOI BibTeX RDF
25	Wenlong Tian, Ruixuan Li 0001, Cheng-Zhong Xu 0001, Zhiyong Xu 0003	Sed-Dedup: An efficient secure deduplication system with data modifications.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
25	Claire Davies	SEDBYS: A python-based SED Builder for Young Stars.	SoftwareX	2021	DBLP DOI BibTeX RDF
25	Nian Guo, Victoria Kostina	Instantaneous SED coding over a DMC.	CoRR	2021	DBLP BibTeX RDF
25	Jakob Abeßer	USM-SED - A Dataset for Polyphonic Sound Event Detection in Urban Sound Monitoring Scenarios.	CoRR	2021	DBLP BibTeX RDF
25	Lucian P. Smith, Frank T. Bergmann, Alan Garny, Tomás Helikar, Jonathan R. Karr, David P. Nickerson, Herbert M. Sauro, Dagmar Waltemath, Matthias König 0003	The simulation experiment description markup language (SED-ML): language specification for level 1 version 4.	J. Integr. Bioinform.	2021	DBLP DOI BibTeX RDF
25	Nian Guo, Victoria Kostina	Instantaneous SED coding over a DMC.	ISIT	2021	DBLP DOI BibTeX RDF
25	Reneilson Yves Carvalho Santos, Edward David Moreno, Carlos-Alberto Estombelo-Montesco	SED-Bench: Benchmark for Simulated Electrical Disturbance.	IEEE Trans. Instrum. Meas.	2020	DBLP DOI BibTeX RDF
25	Yiqing Feng, Guanyu Fu, Qingcai Chen, Kai Chen	SED-MDD: Towards Sentence Dependent End-To-End Mispronunciation Detection and Diagnosis.	ICASSP	2020	DBLP DOI BibTeX RDF
25	Hongwei Xue, Haomiao Liu, Jun Li, Houqiang Li, Jiebo Luo	Sed-Net: Detecting Multi-Type Edits Of Images.	ICME	2020	DBLP DOI BibTeX RDF
25	Dongwoo Kim 0002, Timothy Graham 0001, Zimin Wan, Marian-Andrei Rizoiu	Analysing user identity via time-sensitive semantic edit distance (t-SED): a case study of Russian trolls on Twitter.	J. Comput. Soc. Sci.	2019	DBLP DOI BibTeX RDF
25	Martin Hentschel 0002, Richard Bubel, Reiner Hähnle	The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.	Int. J. Softw. Tools Technol. Transf.	2019	DBLP DOI BibTeX RDF
25	Chaitra, Sara Bertocco, Marco Molinaro 0003, Sergio Molinari, Antonio Ragagnin, Giuliano Taffoni	Exposing SED Models And Snapshots Via VO Simulation Artefacts.	CoRR	2019	DBLP BibTeX RDF
25	Mohammad Hossain, Sameer Abufardeh	A New Method of Calculating Squared Euclidean Distance (SED) Using pTree Technology and Its Performance Analysis.	CATA	2019	DBLP DOI BibTeX RDF
25	Muhammad Ikram bin Mohd Rashid, Hamdan Daniyal, Mohd Ashraf Ahmad	Energy Management Strategy (EMS) for Hybrid Electric Vehicles Based on Safe Experimentation Dynamics (SED).	ICSI (2)	2019	DBLP DOI BibTeX RDF
25	Frank T. Bergmann, Jonathan Cooper, Matthias König 0003, Ion I. Moraru, David P. Nickerson, Nicolas Le Novère, Brett G. Olivier, Sven Sahle, Lucian P. Smith, Dagmar Waltemath	Simulation Experiment Description Markup Language (SED-ML) Level 1 Version 3 (L1V3).	J. Integr. Bioinform.	2018	DBLP DOI BibTeX RDF
25	Frank T. Bergmann, David P. Nickerson, Dagmar Waltemath, Martin Scharm	SED-ML web tools: generate, modify and export standard-compliant simulation studies.	Bioinform.	2017	DBLP DOI BibTeX RDF
25	Bongjun Kim, Bryan Pardo	I-SED: An Interactive Sound Event Detector.	IUI	2017	DBLP DOI BibTeX RDF
25	Elio Mansour, Gilbert Tekli, Philippe Arnould, Richard Chbeir, Yudith Cardinale	F-SED: Feature-Centric Social Event Detection.	DEXA (2)	2017	DBLP DOI BibTeX RDF
25	Kiri Choi, Lucian P. Smith, J. Kyle Medley, Herbert M. Sauro	phraSED-ML: A paraphrased, human-readable adaptation of SED-ML.	J. Bioinform. Comput. Biol.	2016	DBLP DOI BibTeX RDF
25	Frank T. Bergmann, Jonathan Cooper, Nicolas Le Novère, David P. Nickerson, Dagmar Waltemath	Simulation Experiment Description Markup Language (SED-ML) Level 1 Version 2.	J. Integr. Bioinform.	2015	DBLP DOI BibTeX RDF
25	Shoou-I Yu, Lu Jiang 0004, Zhongwen Xu, Zhenzhong Lan, Shicheng Xu, Xiaojun Chang, Xuanchong Li, Zexi Mao, Chuang Gan, Yajie Miao, Xingzhong Du, Yang Cai 0002, Lara J. Martin, Nikolas Wolfe, Anurag Kumar 0003, Huan Li, Ming Lin, Zhigang Ma, Yi Yang 0001, Deyu Meng, Shiguang Shan, Pinar Duygulu Sahin, Susanne Burger, Florian Metze, Rita Singh, Bhiksha Raj, Teruko Mitamura, Richard M. Stern, Alexander G. Hauptmann	CMU Informedia@TRECVID 2015: MED/SIN/LNK/SED.	TRECVID	2015	DBLP BibTeX RDF
25	Mohammad Fayazur Rahaman, Mohammed Zafar Ali Khan	A novel approach to improve the performance of Truncated SED for Cognitive Radio.	ICC Workshops	2015	DBLP DOI BibTeX RDF
25	Dagmar Waltemath, Nicolas Le Novère	Simulation Experiment Description Markup Language (SED-ML).	Encyclopedia of Computational Neuroscience	2014	DBLP DOI BibTeX RDF
25	Kitsana Waiyamai, Thanapat Kangkachit, Thanawin Rakthanmanon, Rattanapong Chairukwattana	SED-Stream: discriminative dimension selection for evolution-based clustering of high dimensional data streams.	Int. J. Intell. Syst. Technol. Appl.	2014	DBLP DOI BibTeX RDF
25	Martin Hentschel 0002, Richard Bubel, Reiner Hähnle	Symbolic Execution Debugger (SED).	RV	2014	DBLP DOI BibTeX RDF
25	Camille Guinaudeau, Antoine Laurent, Hervé Bredin	LIMSI @ MediaEval SED 2014.	MediaEval	2014	DBLP BibTeX RDF
25	Lisa M. Brown, Liangliang Cao, Chih-Fu Chang, Yu Cheng 0001, Alok N. Choudhary, Noel Codella, Courtenay V. Cotton, Dan Ellis, Quanfu Fan, Rogério Schmidt Feris, Leiguang Gong, Matthew L. Hill, Gang Hua 0001, John R. Kender, Michele Merler, Yadong Mu, Sharath Pankanti, John R. Smith, Felix X. Yu	IBM Research and Columbia University TRECVID-2013 Multimedia Event Detection (MED), Multimedia Event Recounting (MER), Surveillance Event Detection (SED), and Semantic Indexing (SIN) Systems.	TRECVID	2013	DBLP BibTeX RDF
25	Qiang Zhang, Wanru Xu, Qiang Zhai, Jie Yang, Zhenjiang Miao	Event detection: BJTU-SED at Trecvid 2012.	TRECVID	2012	DBLP BibTeX RDF
25	Ziwei Xia, Xiaoyu Fang, Yaowei Wang 0001, Wei Zeng 0006, Hongming Zhang, Yonghong Tian 0001	PKU-NEC @TRECVID2012 SED : Uneven-Sequence Based Event Detection in Surveillance Video.	TRECVID	2012	DBLP BibTeX RDF
25	El-Bahlul Fgee, Adla Shaban, Ali Elbekie	Selective Early Detection (SED) Queue Management Algorithm: A Modified Version of (RED).	NGMAST	2012	DBLP DOI BibTeX RDF
25	Konstantinos N. Vavliakis, Fani A. Tzima, Pericles A. Mitkas	Event Detection via LDA for the MediaEval2012 SED Task.	MediaEval	2012	DBLP BibTeX RDF
25	Dagmar Waltemath, Richard R. Adams, Frank T. Bergmann, Michael Hucka, Fedor A. Kolpakov, Andrew K. Miller, Ion I. Moraru, David P. Nickerson, Sven Sahle, Jacky L. Snoep, Nicolas Le Novère	Reproducible computational biology experiments with SED-ML - The Simulation Experiment Description Markup Language.	BMC Syst. Biol.	2011	DBLP DOI BibTeX RDF
25	Yuan Shen 0004, Qiang Zhang, Xu Zhang, Liang Liang, Zhenjiang Miao	Event detection: BJTU-SED at Trecvid 2011.	TRECVID	2011	DBLP BibTeX RDF
25	Xiaoyu Fang, Hongming Zhang, Chi Su, Teng Xu 0002, Feng Wang, Shaopeng Tang, Ziwei Xia, Peixi Peng, Guoyi Liu, Yaowei Wang 0001, Wei Zeng 0006, Yonghong Tian 0001	PKU-NEC @TRECVID2011 SED: Sequence-Based Event Detection in Surveillance Video.	TRECVID	2011	DBLP BibTeX RDF
25	Omar Khan	Mis(sed)information in Public Space.	Shared Encounters	2010	DBLP DOI BibTeX RDF
25	Hannan Ma, Krishnamoorthy Sivakumar, Benjamin Belzer	Feedback probability sorting and LLR-based SED search for iterative row-column 2D ISI equalization.	CISS	2010	DBLP DOI BibTeX RDF
25	Chao-Yang Mao, Rong-Sheng Chen	Packaging parameter analysis and optimization design on solder joint reliability for twin die stacked packages by variance in strain energy density (SED) of each solder joint.	Microelectron. Reliab.	2008	DBLP DOI BibTeX RDF
25	Daniel P. Pellegrini, Sujatha Raghu, Darcy K. Waechter	Structured Electronic Documentation (SED) Cardiac Surgery and Power Note- A Pilot Project.	AMIA	2005	DBLP BibTeX RDF
25	Huajun Wang, Hui Huang	SED, a normalization free method for DNA microarray data analysis.	BMC Bioinform.	2004	DBLP DOI BibTeX RDF
25	Safar Hatami, Mohammad Javad Yazdanpanah, B. Forozandeh, Omid Fatemi	A modified method for codebook design with neural network in VQ sed image compression.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
25	Richard J. Ormerod	Response to Mingers - an overarching philosophy for OR/MS - Sed Quis Custodet Custodies? [But who is to guard the guards themselves] (Juvenal, c. AD 60-130).	J. Oper. Res. Soc.	2002	DBLP DOI BibTeX RDF
25	Arnold Robbins	sed and awk - pocket reference: text processing with regular expressions (2. ed.).		2002	RDF
25	Arnold Robbins	sed and awk pocket reference - text processing with regular expressions.		2000	RDF
25	Dwayne K. Buttler	CONFU-sed: Security, Safe Harbors, and Fair-Use Guidelines.	J. Am. Soc. Inf. Sci.	1999	DBLP DOI BibTeX RDF
25	Ross Grable, Jacquelyn Jernigan, Casey Pogue, Dale Divis	Metrics for Small Projects: Experiences at the SED.	IEEE Softw.	1999	DBLP DOI BibTeX RDF
25	Dale Dougherty, Arnold Robbins	sed and awk (2. ed.).		1997	RDF
25	Bettina Schnor, M. Gehrke	Dynamic-SED for Load Balancing of Parallel Applications in Heterogeneous Systems.	PDPTA	1997	DBLP BibTeX RDF
18	Juan M. Huerta	A stack decoder approach to approximate string matching.	SIGIR	2010	DBLP DOI BibTeX RDF	stack decoder, string matching, A* search, string edit distance
18	Pedro Pires, Teresa Paiva, João M. Sanches	Sleep/Wakefulness State from Actigraphy.	IbPRIA	2009	DBLP DOI BibTeX RDF	Statistical Signal Processing, Actigraphy, Sleep Disorder, Sleep Diary, Statistical Mixture, Human Activity
18	Philip Bille, Mikkel Thorup	Faster Regular Expression Matching.	ICALP (1)	2009	DBLP DOI BibTeX RDF
18	Vijayalakshmi Chelliah, Lukas Endler, Nick S. Juty, Camille Laibe, Chen Li 0011, Nicolas Rodriguez 0001, Nicolas Le Novère	Data Integration and Semantic Enrichment of Systems Biology Models and Simulations.	DILS	2009	DBLP DOI BibTeX RDF	database annotation, computational systems biology, minimal requirement, data integration, semantic annotation, quantitative models
18	Sethuramalingam Subramaniam, Anil Kumar Singh, Pradeep Dasigi, Vasudeva Varma	Experiments in CLIR using fuzzy string search based on surface similarity.	SIGIR	2009	DBLP DOI BibTeX RDF	fuzzy text search, spelling variations, surface similarity
18	Michael Barnathan, Jingjing Zhang 0001, Vasileios Megalooikonomou	A web-accessible framework for the automated storage and texture analysis of biomedical images.	ISBI	2008	DBLP DOI BibTeX RDF
18	Dominique Verchère, Olivier Audouin, Bela Berde, Agostino Chiosi, Richard Douville, Hélia Pouyllau, Pascale Vicat-Blanc Primet, Marcelo Pasin, Sebastien Soudan, Thierry Marcot, Veronique Piperaud, Remi Theillaud, Dohy Hong, Dominique Barth, Christian Cadéré, Vincent Reinhart, Joanna Tomasik	Automatic Network Services Aligned with Grid Application Requirements in CARRIOCAS Project.	GridNets	2008	DBLP DOI BibTeX RDF	infrastructure control and management, virtual-ization, network services, collaborative applications
18	Kobbi Nissim, Sofya Raskhodnikova, Adam D. Smith	Smooth sensitivity and sampling in private data analysis.	STOC	2007	DBLP DOI BibTeX RDF	output perturbation, clustering, sensitivity, privacy preserving data mining, private data analysis
18	Xi Bai 0002, Jigui Sun, Zehai Li, Xianrui Lu	Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer.	RR	2007	DBLP DOI BibTeX RDF	hierarchical clustering, consistency checking, Ontology learning, ontology reasoning
18	Stijn Vansummeren	Type inference for unique pattern matching.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	disambiguation policies, XML, programming languages, Pattern matching
18	Oisín Boydell, Barry Smyth	Community-based snippet-indexes for pseudo-anonymous personalization in web search.	SIGIR	2006	DBLP DOI BibTeX RDF	community, personalization, web search
18	Hyun-Gyu Kim, Hyeong-Cheol Oh	A DSP-Enhanced 32-Bit Embedded Microprocessor.	EUC	2005	DBLP DOI BibTeX RDF	DSP-enhanced microprocessor, hardware address generator, register extension, embedded microprocessor, SIMD
18	Lamis Hawarah, Ana Simonet, Michel Simonet	A Probabilistic Approach to Classify Incomplete Objects Using Decision Trees.	DEXA	2004	DBLP DOI BibTeX RDF
18	Wieland Fischer, Jean-Pierre Seifert	High-Speed Modular Multiplication.	CT-RSA	2004	DBLP DOI BibTeX RDF	Sedlaks algorithm, Computer arithmetic, Modular multiplication, Implementation issues, Booth recoding
18	Wieland Fischer, Jean-Pierre Seifert	Unfolded Modular Multiplication.	ISAAC	2003	DBLP DOI BibTeX RDF	Sedlaks algorithm, Computer arithmetic, Modular multiplication, Implementation issues, Booth recoding
18	Naran Sirisantana, Kaushik Roy 0001	Selectively Clocked CMOS Logic Style for Low-Power Noise-Immune Operations in Scaled Technologies.	DATE	2003	DBLP DOI BibTeX RDF
18	Ann M. Quade	Development and Validation of a Computer Science Self-Efficacy Scale for CS0 Courses and the Group Analysis of CS0 Student Self-Efficacy.	ITCC	2003	DBLP DOI BibTeX RDF
18	Thomas Buerner	Implementation of a Successive Erasure BCH(16, 7, 6) Decoder and Performance Simulation by Rapid Prototyping.	FPL	2002	DBLP DOI BibTeX RDF
18	Fevzi Belli	Finite-State Testing and Analysis of Graphical User Interfaces.	ISSRE	2001	DBLP DOI BibTeX RDF
18	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
18	Bruce A. Lewis, David J. McConnell	Reengineering Real-Time Embedded Software onto a Parallel Processing Platform.	WCRE	1996	DBLP DOI BibTeX RDF
18	Toshio Nakatani, Kemal Ebcioglu	Using a lookahead window in a compaction-based parallelizing compiler.	MICRO	1990	DBLP BibTeX RDF