Search results for "SDT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Naveen Kumar 0002, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa	Compile-Time Planning for Overhead Reduction in Software Dynamic Translators.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	instruction traces, dynamic optimization, Dynamic translation
118	Kevin Scott, Naveen Kumar 0002, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa	Overhead Reduction Techniques for Software Dynamic Translation.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
101	Yan Tang	On Conducting a Decision Group to Construct Semantic Decision Tables.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF	McGrath’s Framework, database, ontology engineering, Decision Table, DOGMA
96	Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, Bruce R. Childers	Evaluating fragment construction policies for SDT systems.	VEE	2006	DBLP DOI BibTeX RDF	dynamic translation performance, software dynamic translator, performance, low overhead
84	Apala Guha, Jason Hiser, Naveen Kumar 0002, Jing Yang 0003, Min Zhao 0009, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Kim M. Hazelwood, Mary Lou Soffa	Virtual Execution Environments: Support and Tools.	IPDPS	2007	DBLP DOI BibTeX RDF
84	Bo Zhu, Sanjeev Setia, Sushil Jajodia	Providing witness anonymity in peer-to-peer systems.	CCS	2006	DBLP DOI BibTeX RDF	k-times, witness anonymity, privacy, peer-to-peer systems, anonymous authentication
84	Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa	Tdb: a source-level debugger for dynamically translated programs.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging, dynamic instrumentation, dynamic binary translation
76	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
67	Jason Hiser, Naveen Kumar 0002, Min Zhao 0009, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa	Techniques and tools for dynamic optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
67	Kevin Scott, Naveen Kumar 0002, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa	Retargetable and Reconfigurable Software Dynamic Translation.	CGO	2003	DBLP DOI BibTeX RDF
51	Yan Tang, Robert Meersman, Jan Vanthienen	Semantic Decision Tables: Self-organizing and Reorganizable Decision Tables.	DEXA	2008	DBLP DOI BibTeX RDF
51	Jason Hiser, Daniel W. Williams, Wei Hu, Jack W. Davidson, Jason Mars, Bruce R. Childers	Evaluating Indirect Branch Handling Mechanisms in Software Dynamic Translation Systems.	CGO	2007	DBLP DOI BibTeX RDF
51	Yan Tang, Robert Meersman	On Constructing Semantic Decision Tables.	DEXA	2007	DBLP DOI BibTeX RDF	ontologies, semantics, decision table, DOGMA
51	Yan Tang, Robert Meersman	Organizing Meaning Evolution Supporting Systems Using Semantic Decision Tables.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF	Meaning Evolution Support System, Semantic Decision Table, DOGMA-MESS, ontology
51	Ina Goller, Manfred Kehr, Christoph Lindinger	Lean and Self Directed Teamwork-Differences, Difficulties and Future Developments - A Case Study.	APMS	2006	DBLP DOI BibTeX RDF
51	Kevin Y. K. Liu, John C. S. Lui, Zhi-Li Zhang	Distributed Algorithm for Service Replication in Service Overlay Network.	NETWORKING	2004	DBLP DOI BibTeX RDF	replication algorithm, QoS, Overlay networks
51	Stacey Shogan, Bruce R. Childers	Compact Binaries with Code Compression in a Software Dynamic Translator.	DATE	2004	DBLP DOI BibTeX RDF
51	Natarajan Meghanathan, Andras Farago	Looking at protocol efficiency from a new angle: stability - delay analysis.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	path stability, stability - delay tradeoff, mobile ad hoc networks
51	Michael Domaratzki	Semantic Shuffle on and Deletion Along Trajectories.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
51	Mao Ye 0001, Zhang Yi 0001	On the Discrete Time Dynamics of the MCA Neural Networks.	ISNN (1)	2004	DBLP DOI BibTeX RDF
51	Naveen Kumar 0002, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa	Instrumentation in software dynamic translators for self-managed systems.	WOSS	2004	DBLP DOI BibTeX RDF
51	Marcelo P. Fiore, Gordon D. Plotkin	An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.	CSL	1996	DBLP DOI BibTeX RDF
46	Kuldeep Singh, Audun Jøsang, Md. Sadek Ferdous, Ravishankar Borgaonkar	Spam filter optimality based on signal detection theory.	SIN	2009	DBLP DOI BibTeX RDF	signal detection theory (sdt)., optimality, filters, spam, e-mail, tradeoffs
46	Bahiya Hatim, Máirtín O'Droma	Telecommunication software development using SDL-92: practical experience.	ICECCS	1996	DBLP DOI BibTeX RDF	SDL-92, telecommunication software development, SDT tool, real-time software engineering, ISDN basic access services management, data link layer, network layer, telecommunication computing
34	Dong-Wook Kim, Tae-Sung Jung, Dae-Won Kim, Seong-Hyeuk Nam, Hyuk-Ryul Kwon, Sang-Haeng Choi, Hyung-Dae Koh, Han-Suk Choi, Hong-Seog Park	G-BLAST: BLAST Manager in an Heterogeneous Distributed Environment.	TASE	2009	DBLP DOI BibTeX RDF
34	Du Li, Rui Li 0018	An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	computer-supported cooperative work, groupware, operational transformation, consistency maintenance, group editing
34	S. Indu 0002, Chaveli Ramesh	Session IV.C: Image Processing A Noise Fading Technique for Images Highly Corrupted with Impulse Noise.	ICCTA	2007	DBLP DOI BibTeX RDF	Image processing, Denoising, Median filters, Impulse noise
34	Petro M. Gopych, Anna Kolot	Psychometric Functions Within the Framework of Binary Signal Detection Theory: Coding the Face Identity.	IDEAL	2007	DBLP DOI BibTeX RDF	generalization through memory, Neyman-Pearson objective, prototype face identification model, neural networks, face recognition
34	Amitabha Amitava Ghosh, Yi Wang 0035, Bhaskar Krishnamachari	Efficient Distributed Topology Control in 3-Dimensional Wireless Networks.	SECON	2007	DBLP DOI BibTeX RDF
34	Yin Liu 0001, Wenyin Liu, Changjun Jiang	A Structural Approach to Recognizing Incomplete Graphic Objects.	ICPR (1)	2004	DBLP DOI BibTeX RDF
34	Hervé Bolvin, André Chambarel, Dominique Fougère, Petr Gladkikh	Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique.	PaCT	2003	DBLP DOI BibTeX RDF
34	Yi Zhao, Sujit Dey	Separate Dual-Transistor Registers - A Circuit Solution for On-line Testing of Transient Error in UDSM-IC.	IOLTS	2003	DBLP DOI BibTeX RDF
34	Kevin Scott, Jack W. Davidson	Safe Virtual Execution Using Software Dynamic Translation.	ACSAC	2002	DBLP DOI BibTeX RDF
34	Bernhard Reus	Extensional Sigma-Spaces in Type Theory.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	synthetic domain theory, type theory, realizability, domain theory, constructive logic
29	Israel Koren, Zvi Kohavi	Sequential Fault Diagnosis in Combinational Networks.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	A priori probability of occurrence, combinational logic networks, minimal detection set, sequential decision tree (SDT), fault diagnosis
28	Zhenjiang Shi, Jiajia Liu 0001	A Novel NOMA-Enhanced SDT Scheme for NR RedCap in 5G/B5G Systems.	IEEE Trans. Wirel. Commun.	2024	DBLP DOI BibTeX RDF
28	Alexandra I. Cristea, Ahmed Alamri, Mohammad Alshehri, Filipe Dwan Pereira, Armando M. Toda, Elaine Harada T. de Oliveira, Craig D. Stewart	The engage taxonomy: SDT-based measurable engagement indicators for MOOCs and their evaluation.	User Model. User Adapt. Interact.	2024	DBLP DOI BibTeX RDF
28	Zixuan Chen, Zhigao Zhao, Zijian Li 0018, Jiang Shao, Sen Liu 0002, Yang Xu 0010	SDT: A Low-cost and Topology-reconfigurable Testbed for Network Research.	CoRR	2023	DBLP DOI BibTeX RDF
28	Lisa R. Brown, Pamela McCray, Jeff L. Neal, Lisa Caldwell-Serges	Corporate Digital Literacy Mandates: Using SDT-Based Strategies to Circumvent "Quiet Quitting" Syndrome.	Int. J. Adv. Corp. Learn.	2023	DBLP DOI BibTeX RDF
28	Zixuan Chen, Zhigao Zhao, Zijian Li 0018, Jiang Shao, Sen Liu 0002, Yang Xu 0010	SDT: A Low-cost and Topology-reconfigurable Testbed for Network Research.	CLUSTER	2023	DBLP DOI BibTeX RDF
28	Hala Neji, Mohamed Ben Halima, Javier Nogueras-Iso, Tarek M. Hamdani, Abdulrahman M. Qahtani, Omar Almutiry, Habib Dhahri, Adel M. Alimi	SDT-DCSCN for Simultaneous Super-Resolution and Deblurring of Text Images.	CoRR	2022	DBLP BibTeX RDF
28	Qi Xia, Thomas K. F. Chiu, Min Lee, Ismaila Temitayo Sanusi, Yun Dai, Ching Sing Chai	A self-determination theory (SDT) design approach for inclusive and diverse artificial intelligence (AI) education.	Comput. Educ.	2022	DBLP DOI BibTeX RDF
28	Rubo Wang	SDT Compression Algorithm Based on Approximate Query of Sensor Time Series Data.	ICISCAE	2022	DBLP DOI BibTeX RDF
28	Wei Tang, Xingdong Wang, Jiabo Zhang, Shengli Liu 0005	Error Analysis of Space Manipulator Joint Module Based on the SDT Theory.	ICIRA (4)	2021	DBLP DOI BibTeX RDF
28	Xiaojun Chen, Shengbin Jia, Ling Ding, Hong Shen, Yang Xiang	SDT: An integrated model for open-world knowledge graph reasoning.	Expert Syst. Appl.	2020	DBLP DOI BibTeX RDF
28	Xiaodong Wang, Xing Gao, Yingming Liu, Yingwei Wang	WRC-SDT Based On-Line Detection Method for Offshore Wind Farm Transmission Line.	IEEE Access	2020	DBLP DOI BibTeX RDF
28	Christopher Pramerdorfer, Julian Strohmayer, Martin Kampel	Sdt: A Synthetic Multi-Modal Dataset For Person Detection And Pose Classification.	ICIP	2020	DBLP DOI BibTeX RDF
28	Jaclyn Martin, Chad Dubé, Michael D. Coovert	Signal Detection Theory (SDT) Is Effective for Modeling User Behavior Toward Phishing and Spear-Phishing Attacks.	Hum. Factors	2018	DBLP DOI BibTeX RDF
28	Adeel Luqman, Ayesha Masood, Ahmed Ali 0006	An SDT and TPB-based integrated approach to explore the role of autonomous and controlled motivations in "SNS discontinuance intention".	Comput. Hum. Behav.	2018	DBLP DOI BibTeX RDF
28	Xiangrui Li, Dongxiao Zhu, Ming Dong 0001, Milad Zafar Nezhad, Alexander T. Janke, Phillip Levy	SDT: A Tree Method for Detecting Patient Subgroups with Personalized Risk Factors.	CRI	2017	DBLP BibTeX RDF
28	Teck-Soon Hew, Sharifah Latifah Syed Abdul Kadir	Understanding cloud-based VLE from the SDT and CET perspectives: Development and validation of a measurement instrument.	Comput. Educ.	2016	DBLP DOI BibTeX RDF
28	Youssef Khaoula, P. Ravindra De Silva, Michio Okada	SDT: Maintaining the Communication Protocol Through Mixed Feedback Strategies.	ICSR	2015	DBLP DOI BibTeX RDF
28	Mihyang Bang, Kwangyun Wohn, Chungkon Shi	The Establishment of an e-Learning System Based on SDT.	Int. J. Emerg. Technol. Learn.	2014	DBLP DOI BibTeX RDF
28	Manu Sethi, Anand Rangarajan 0001, Karthik S. Gurumoorthy	The Schrödinger distance transform (SDT) for point-sets and curves.	CVPR	2012	DBLP DOI BibTeX RDF
28	Yu Arita, Hirota Shinya, Yuta Yoshiike, P. Ravindra S. De Silva, Michio Okada	SDT: a "konkon" interface to buildup the connotation interactions.	HRI	2012	DBLP DOI BibTeX RDF
28	Cuiling Lan, Jizheng Xu, Guangming Shi, Feng Wu 0001	Exploiting Non-Local Correlation via Signal-Dependent Transform (SDT).	IEEE J. Sel. Top. Signal Process.	2011	DBLP DOI BibTeX RDF
28	Li Tai	Self-consciousness, Self-efficiency and Peer Learning from SDT Perspective.	ICEE	2010	DBLP DOI BibTeX RDF
28	Daniel W. Williams, Jason D. Hiser, Jack W. Davidson	Using program metadata to support SDT in object-oriented applications.	ICOOOLPS@ECOOP	2009	DBLP DOI BibTeX RDF
28	Leif Geiger, Albert Zündorf	Story driven testing - SDT.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	test-first principle, code generation, scenarios
28	Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong	Verification method for the FBD-style design specification using SDT and SMV.	IASTED Conf. on Software Engineering	2004	DBLP BibTeX RDF
28	Frédéric Vignat, François Villeneuve	3D Transfer of Tolerances Using a SDT Approach: Application to Turning Process.	J. Comput. Inf. Sci. Eng.	2003	DBLP DOI BibTeX RDF
28	Michael Atlevi	SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL.	FORTE	1989	DBLP BibTeX RDF
28	Michael Atlevi	SDT - The SDL Design Tool.	FORTE	1988	DBLP BibTeX RDF
17	Aina Johansen, Tor Helleseth	A Family of m -Sequences With Five-Valued Cross Correlation.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
17	Songmei Han	The Effect of Animation Location and Timing on Visual Search Performance and Memory.	HCI (13)	2007	DBLP DOI BibTeX RDF	signal detection theory, animation, visual search, visual attention, online advertisement
17	Ali Gooya, Hongen Liao, Kiyoshi Matsumiya, Ken Masamune, Takeyoshi Dohi	A Shape Induced Anisotropic Flowfor Volumetric Vascular Segmentation in MRA.	ISBI	2007	DBLP DOI BibTeX RDF
17	Petro M. Gopych	Performance of BSDT Decoding Algorithms Based on Locally Damaged Neural Networks.	IDEAL	2006	DBLP DOI BibTeX RDF
17	Kyoung Jun Lee, Mu Jeong Jeong, Jeong-In Ju	Seamlessness and Privacy Enhanced Ubiquitous Payment.	EC-Web	2006	DBLP DOI BibTeX RDF
17	Ignacio J. Martinez-Moyano, Eliot H. Rich, Stephen H. Conrad	Exploring the Detection Process: Integrating Judgment and Outcome Decomposition.	ISI	2006	DBLP DOI BibTeX RDF
17	Laila Daniel, Matti Luukkainen, Markku Kojo	Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol.	SDL Forum	2005	DBLP DOI BibTeX RDF
17	Du Li, Rui Li 0018	Ensuring Content and Intention Consistency in Real-Time Group Editors.	ICDCS	2004	DBLP DOI BibTeX RDF
17	Maisaa Khalil, Chantal Robach, Franc Novak	Diagnosis Strategies for Hardware or Software Systems.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	diagnostic strategies, diagnostic tools, system level diagnostics, testability, fault location
17	Wenhui Zhang	Applying SDL Specifications and Tools to the Verification of Procedures.	SDL Forum	2001	DBLP DOI BibTeX RDF